# HG changeset patch
# User haftmann
# Date 1205182304 -3600
# Node ID e212c22f35c200c1a5886802e666a7ea2067a491
# Parent  00cbf41ba62596acb243124265f3c6886ad12a6f
exported suffix

diff -r 00cbf41ba625 -r e212c22f35c2 src/Pure/axclass.ML
--- a/src/Pure/axclass.ML	Mon Mar 10 21:51:43 2008 +0100
+++ b/src/Pure/axclass.ML	Mon Mar 10 21:51:44 2008 +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 introN: string
   val axiomsN: string
 end;