| Fri, 24 May 2002 16:56:25 +0200 | paulson | tidied; stronger lemmas about functions | changeset | files |
| Fri, 24 May 2002 16:55:46 +0200 | paulson | strong lemmas about functions | changeset | files |
| Fri, 24 May 2002 16:55:28 +0200 | paulson | new quantifier lemmas | changeset | files |
| Fri, 24 May 2002 15:24:29 +0200 | paulson | converted Update to Isar | changeset | files |
| Fri, 24 May 2002 13:15:37 +0200 | paulson | conversion of Perm to Isar. Strengthening of comp_fun_apply | changeset | files |
| Thu, 23 May 2002 17:05:21 +0200 | paulson | new definition of "apply" and new simprule "beta_if" | changeset | files |
| Wed, 22 May 2002 19:34:01 +0200 | paulson | more tidying | changeset | files |
| Wed, 22 May 2002 18:55:47 +0200 | paulson | new version of nat_case, nat_case3 | changeset | files |
| Wed, 22 May 2002 18:11:57 +0200 | paulson | tidying up | changeset | files |
| Wed, 22 May 2002 17:26:34 +0200 | paulson | conversion of Nat to Isar | changeset | files |
| Wed, 22 May 2002 17:25:40 +0200 | paulson | tidied | changeset | files |
| Tue, 21 May 2002 18:25:28 +0200 | paulson | conversion of OrdQuant.ML to Isar | changeset | files |
| Tue, 21 May 2002 13:06:36 +0200 | paulson | converted domrange to Isar and merged with equalities | changeset | files |
| Mon, 20 May 2002 12:59:59 +0200 | paulson | conversion of WF to Isar format | changeset | files |