Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
exported axiomsN
authorhaftmann
Thu, 13 Dec 2007 07:09:05 +0100
changeset 25617 b495384e48e1
parent 25616 28d373f1482a
child 25618 01f20279fea1
exported axiomsN
src/Pure/axclass.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/axclass.ML	Thu Dec 13 07:09:04 2007 +0100
+++ b/src/Pure/axclass.ML	Thu Dec 13 07:09:05 2007 +0100
@@ -40,6 +40,7 @@
   type cache
   val of_sort: theory -> typ * sort -> cache -> thm list * cache  (*exception Sorts.CLASS_ERROR*)
   val cache: cache
+  val axiomsN: string
 end;
 
 structure AxClass: AX_CLASS =
isabelle