--- a/src/Pure/IsaMakefile Thu Jun 15 23:08:54 2006 +0200
+++ b/src/Pure/IsaMakefile Thu Jun 15 23:08:56 2006 +0200
@@ -66,7 +66,7 @@
library.ML logic.ML meta_simplifier.ML net.ML old_goals.ML pattern.ML \
proof_general.ML proofterm.ML pure_thy.ML search.ML sign.ML \
simplifier.ML sorts.ML tactic.ML tctical.ML term.ML theory.ML thm.ML \
- type.ML type_infer.ML unify.ML
+ type.ML type_infer.ML variable.ML unify.ML
@./mk
--- a/src/Pure/ROOT.ML Thu Jun 15 23:08:54 2006 +0200
+++ b/src/Pure/ROOT.ML Thu Jun 15 23:08:56 2006 +0200
@@ -47,6 +47,7 @@
use "pure_thy.ML";
use "display.ML";
use "drule.ML";
+use "variable.ML";
use "tctical.ML";
use "search.ML";
use "meta_simplifier.ML";