Revert "Update demo notebook after changes to the hoogle search."

This reverts commit 01366b6309be3e6ca4e934424fd02efbf7eb2215.
This commit is contained in:
Thomas Peiselt 2018-11-02 14:32:32 +01:00
parent 01366b6309
commit 105d0db474

File diff suppressed because one or more lines are too long