diff -r df6b3bd14dcb -r 61620d959717 ROOT.ML
--- a/ROOT.ML	Fri Dec 02 16:09:49 1994 +0100
+++ b/ROOT.ML	Fri Dec 02 16:13:34 1994 +0100
@@ -78,6 +78,7 @@
 use_thy "Inductive";
 
 use_thy "Finite";
+use_thy "Sexp";
 use_thy "List";
 
 init_pps ();