Update demo notebook after changes to the hoogle search.

This commit is contained in:
Thomas Peiselt 2018-11-01 21:53:50 +01:00
parent afb05614f4
commit 01366b6309

File diff suppressed because one or more lines are too long