Update demo notebook after changes to the hoogle search.

This commit is contained in:
Thomas Peiselt 2018-11-02 14:34:00 +01:00
parent 105d0db474
commit 03907a998c

File diff suppressed because one or more lines are too long