removed merge_theories;
authorwenzelm
Mon Jul 12 22:25:39 1999 +0200 (1999-07-12)
changeset 6980bb526ba7ba5f
parent 6979 4b9963810121
child 6981 eaade7e398a7
removed merge_theories;
src/Pure/theory.ML
     1.1 --- a/src/Pure/theory.ML	Mon Jul 12 22:25:19 1999 +0200
     1.2 +++ b/src/Pure/theory.ML	Mon Jul 12 22:25:39 1999 +0200
     1.3 @@ -82,7 +82,6 @@
     1.4    val copy: theory -> theory
     1.5    val prep_ext: theory -> theory
     1.6    val prep_ext_merge: theory list -> theory
     1.7 -  val merge_theories: string -> theory * theory -> theory
     1.8    val requires: theory -> string -> string -> unit
     1.9    val assert_super: theory -> theory -> theory
    1.10    val pre_pure: theory
    1.11 @@ -445,10 +444,6 @@
    1.12        make_theory sign' axioms' oracles' parents' ancestors'
    1.13      end;
    1.14  
    1.15 -fun merge_theories name (thy1, thy2) =
    1.16 -  prep_ext_merge [thy1, thy2]
    1.17 -  |> add_name name;
    1.18 -
    1.19  
    1.20  end;
    1.21