added theory_data.ML;
authorwenzelm
Mon Jun 08 15:57:50 1998 +0200 (1998-06-08)
changeset 5004cf4e3b487caf
parent 5003 f73ad32e44d3
child 5005 4486d53a6438
added theory_data.ML;
src/Pure/IsaMakefile
src/Pure/ROOT.ML
     1.1 --- a/src/Pure/IsaMakefile	Mon Jun 08 15:57:30 1998 +0200
     1.2 +++ b/src/Pure/IsaMakefile	Mon Jun 08 15:57:50 1998 +0200
     1.3 @@ -36,7 +36,7 @@
     1.4    drule.ML envir.ML goals.ML install_pp.ML library.ML logic.ML \
     1.5    name_space.ML net.ML object.ML pattern.ML pure_thy.ML search.ML \
     1.6    seq.ML sign.ML sorts.ML table.ML tactic.ML tctical.ML term.ML \
     1.7 -  theory.ML thm.ML type.ML type_infer.ML unify.ML
     1.8 +  theory.ML theory_data.ML thm.ML type.ML type_infer.ML unify.ML
     1.9  	@./mk
    1.10  
    1.11  
     2.1 --- a/src/Pure/ROOT.ML	Mon Jun 08 15:57:30 1998 +0200
     2.2 +++ b/src/Pure/ROOT.ML	Mon Jun 08 15:57:50 1998 +0200
     2.3 @@ -37,6 +37,7 @@
     2.4  use "net.ML";
     2.5  use "logic.ML";
     2.6  use "theory.ML";
     2.7 +use "theory_data.ML";
     2.8  use "thm.ML";
     2.9  use "display.ML";
    2.10  use "attribute.ML";