| Mon, 02 Apr 2007 11:31:08 +0200 | paulson | optimizing the null instantiation case | changeset | files |
| Mon, 02 Apr 2007 11:30:44 +0200 | paulson | now exports distinct_subgoal_tac (needed by MetisAPI) | changeset | files |
| Mon, 02 Apr 2007 11:29:44 +0200 | paulson | exception handling | changeset | files |
| Sun, 01 Apr 2007 14:28:48 +0200 | haftmann | added reserved words mod, div for SML | changeset | files |
| Sat, 31 Mar 2007 15:13:52 +0200 | urbanc | added pt_bij' to the collection perm_swap and also added abs_perm to the collection of equivariance lemmas | changeset | files |
| Sat, 31 Mar 2007 12:40:55 +0200 | berghofe | Fixed bug in dest_prem: premises of the form "p x_1 ... x_n" | changeset | files |
| Sat, 31 Mar 2007 08:22:14 +0200 | haftmann | fixed typo | changeset | files |