added General/balanced_tree.ML;
authorwenzelm
Tue Jun 19 23:15:43 2007 +0200 (2007-06-19 ago)
changeset 234206f60a90e52e5
parent 23419 8c30dd4b3b22
child 23421 c9007fc4a646
added General/balanced_tree.ML;
src/Pure/General/ROOT.ML
src/Pure/IsaMakefile
     1.1 --- a/src/Pure/General/ROOT.ML	Tue Jun 19 23:15:38 2007 +0200
     1.2 +++ b/src/Pure/General/ROOT.ML	Tue Jun 19 23:15:43 2007 +0200
     1.3 @@ -8,6 +8,7 @@
     1.4  use "ord_list.ML";
     1.5  use "alist.ML";
     1.6  use "table.ML";
     1.7 +use "balanced_tree.ML";
     1.8  use "output.ML";
     1.9  use "graph.ML";
    1.10  use "heap.ML";
     2.1 --- a/src/Pure/IsaMakefile	Tue Jun 19 23:15:38 2007 +0200
     2.2 +++ b/src/Pure/IsaMakefile	Tue Jun 19 23:15:43 2007 +0200
     2.3 @@ -24,9 +24,9 @@
     2.4  Pure: $(OUT)/Pure$(ML_SUFFIX)
     2.5  
     2.6  $(OUT)/Pure$(ML_SUFFIX): CPure.thy General/ROOT.ML General/alist.ML		\
     2.7 -  General/basics.ML General/buffer.ML General/file.ML General/graph.ML		\
     2.8 -  General/heap.ML General/history.ML General/ml_syntax.ML General/name_space.ML	\
     2.9 -  General/ord_list.ML General/output.ML General/path.ML				\
    2.10 +  General/basics.ML General/balanced_tree.ML General/buffer.ML General/file.ML	\
    2.11 +  General/graph.ML General/heap.ML General/history.ML General/ml_syntax.ML	\
    2.12 +  General/name_space.ML General/ord_list.ML General/output.ML General/path.ML	\
    2.13    General/position.ML General/pretty.ML General/scan.ML		                \
    2.14    General/secure.ML General/seq.ML General/source.ML General/stack.ML		\
    2.15    General/susp.ML General/symbol.ML General/table.ML General/url.ML		\