author | haftmann |
Mon, 10 Mar 2008 21:51:44 +0100 | |
changeset 26246 | e212c22f35c2 |
parent 26245 | 00cbf41ba625 |
child 26247 | b6608fbeaae1 |
--- 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;