# HG changeset patch
# User haftmann
# Date 1197526145 -3600
# Node ID b495384e48e1b62d1e2bf4468765e9d7e048950d
# Parent  28d373f1482a6771a6790a278e4a6a5d4d35a427
exported axiomsN

diff -r 28d373f1482a -r b495384e48e1 src/Pure/axclass.ML
--- 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 =