src/Pure/theory.ML
changeset 24137 8d7896398147
parent 23655 d2d1138e0ddc
child 24199 8be734b5f59f
     1.1 --- a/src/Pure/theory.ML	Thu Aug 02 23:18:13 2007 +0200
     1.2 +++ b/src/Pure/theory.ML	Fri Aug 03 16:28:15 2007 +0200
     1.3 @@ -32,7 +32,7 @@
     1.4    val axioms_of: theory -> (string * term) list
     1.5    val all_axioms_of: theory -> (string * term) list
     1.6    val defs_of : theory -> Defs.T
     1.7 -  val self_ref: theory -> theory_ref
     1.8 +  val check_thy: theory -> theory_ref
     1.9    val deref: theory_ref -> theory
    1.10    val merge: theory * theory -> theory
    1.11    val merge_refs: theory_ref * theory_ref -> theory_ref
    1.12 @@ -65,7 +65,7 @@
    1.13  val parents_of = Context.parents_of;
    1.14  val ancestors_of = Context.ancestors_of;
    1.15  
    1.16 -val self_ref = Context.self_ref;
    1.17 +val check_thy = Context.check_thy;
    1.18  val deref = Context.deref;
    1.19  val merge = Context.merge;
    1.20  val merge_refs = Context.merge_refs;