--- a/src/HOL/ex/ROOT.ML Tue Aug 05 13:31:38 2008 +0200
+++ b/src/HOL/ex/ROOT.ML Tue Aug 05 14:40:48 2008 +0200
@@ -58,7 +58,8 @@
"Classical",
"set",
"Meson_Test",
- "Code_Antiq"
+ "Code_Antiq",
+ "LexOrds"
];
setmp Proofterm.proofs 2 time_use_thy "Hilbert_Classical";