Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/code/code_target.ML
changeset 24928 3419943838f5
parent 24918 22013215eece
child 24992 d33713284207 
--- a/src/Tools/code/code_target.ML	Tue Oct 09 17:10:36 2007 +0200
+++ b/src/Tools/code/code_target.ML	Tue Oct 09 17:10:38 2007 +0200
@@ -1903,13 +1903,13 @@
 
 fun cert_class thy class =
   let
-    val _ = AxClass.get_definition thy class;
+    val _ = AxClass.get_info thy class;
   in class end;
 
 fun read_class thy raw_class =
   let
     val class = Sign.intern_class thy raw_class;
-    val _ = AxClass.get_definition thy class;
+    val _ = AxClass.get_info thy class;
   in class end;
 
 fun cert_tyco thy tyco =
isabelle