| Tue, 27 Mar 2007 18:28:22 +0200 | urbanc | adapted to new nominal_inductive infrastructure | changeset | files |
| Tue, 27 Mar 2007 17:57:42 +0200 | berghofe | Adapted to new syntax of nominal_inductive. | changeset | files |
| Tue, 27 Mar 2007 17:57:05 +0200 | berghofe | Adapted to changes in nominal_inductive. | changeset | files |
| Tue, 27 Mar 2007 17:55:09 +0200 | berghofe | Implemented proof of strong induction rule. | changeset | files |
| Tue, 27 Mar 2007 17:54:37 +0200 | berghofe | Exported perm_of_pair, mk_not_sym, and perm_simproc. | changeset | files |
| Tue, 27 Mar 2007 12:28:42 +0200 | haftmann | cleaned up HOL/ex/Code*.thy | changeset | files |
| Tue, 27 Mar 2007 09:19:37 +0200 | haftmann | fixed document preparation | changeset | files |
| Mon, 26 Mar 2007 16:35:33 +0200 | krauss | fixed problem with mutual recursion | changeset | files |