exported suffix
authorhaftmann
Mon Mar 10 21:51:44 2008 +0100 (2008-03-10 ago)
changeset 26246e212c22f35c2
parent 26245 00cbf41ba625
child 26247 b6608fbeaae1
exported suffix
src/Pure/axclass.ML
     1.1 --- a/src/Pure/axclass.ML	Mon Mar 10 21:51:43 2008 +0100
     1.2 +++ b/src/Pure/axclass.ML	Mon Mar 10 21:51:44 2008 +0100
     1.3 @@ -40,6 +40,7 @@
     1.4    type cache
     1.5    val of_sort: theory -> typ * sort -> cache -> thm list * cache  (*exception Sorts.CLASS_ERROR*)
     1.6    val cache: cache
     1.7 +  val introN: string
     1.8    val axiomsN: string
     1.9  end;
    1.10