exported axiomsN
authorhaftmann
Thu Dec 13 07:09:05 2007 +0100 (2007-12-13 ago)
changeset 25617b495384e48e1
parent 25616 28d373f1482a
child 25618 01f20279fea1
exported axiomsN
src/Pure/axclass.ML
     1.1 --- a/src/Pure/axclass.ML	Thu Dec 13 07:09:04 2007 +0100
     1.2 +++ b/src/Pure/axclass.ML	Thu Dec 13 07:09:05 2007 +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 axiomsN: string
     1.8  end;
     1.9  
    1.10  structure AxClass: AX_CLASS =