| Thu, 16 Feb 2006 23:30:47 +0100 | obua | improved scanning | changeset | files |
| Thu, 16 Feb 2006 21:15:38 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 16 Feb 2006 21:12:03 +0100 | wenzelm | Abstract Natural Numbers with polymorphic recursion. | changeset | files |
| Thu, 16 Feb 2006 21:12:00 +0100 | wenzelm | new-style definitions/abbreviations; | changeset | files |
| Thu, 16 Feb 2006 21:11:58 +0100 | wenzelm | added ex/Abstract_NAT.thy; | changeset | files |
| Thu, 16 Feb 2006 19:39:02 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 16 Feb 2006 19:10:47 +0100 | wenzelm | tuned; | changeset | files |