changeset 1322 | 9b3d3362a048 |
parent 1246 | 706cfddca75c |
child 17245 | 1c519a3cca59 |
--- a/src/FOL/ex/NatClass.thy Tue Nov 07 12:57:20 1995 +0100 +++ b/src/FOL/ex/NatClass.thy Tue Nov 07 12:58:17 1995 +0100 @@ -13,9 +13,9 @@ NatClass = FOL + consts - "0" :: "'a" ("0") - Suc :: "'a => 'a" - rec :: "['a, 'a, ['a, 'a] => 'a] => 'a" + "0" :: 'a ("0") + Suc :: 'a => 'a + rec :: ['a, 'a, ['a, 'a] => 'a] => 'a axclass nat < term