Fri, 24 Jul 1998 12:53:04 +0200 | berghofe | Replaced Nat.thy by NatDef.thy because Nat.thy depends on | changeset | files |
Fri, 24 Jul 1998 12:50:34 +0200 | berghofe | New primrec function definition package | changeset | files |
Fri, 24 Jul 1998 12:50:06 +0200 | berghofe | New datatype definition package | changeset | files |