isabelle: doc-src/Exercises/2001/a3/ROOT.ML@c46ce87960fb (annotated)

13739 f5d0a66c8124 exercise collection kleing parents: diff changeset	1
f5d0a66c8124 exercise collection kleing parents: diff changeset	2	(* use "../settings.ML";*)
f5d0a66c8124 exercise collection kleing parents: diff changeset	3	set quick_and_dirty;
f5d0a66c8124 exercise collection kleing parents: diff changeset	4	use_thy "Trie1";
f5d0a66c8124 exercise collection kleing parents: diff changeset	5	use_thy "Trie2";
f5d0a66c8124 exercise collection kleing parents: diff changeset	6	use_thy "Trie3";