| Sat, 03 Jun 2006 17:49:42 +0200 | paulson | generalized wfI | changeset | files |
| Fri, 02 Jun 2006 23:22:29 +0200 | wenzelm | misc cleanup; | changeset | files |
| Fri, 02 Jun 2006 20:12:59 +0200 | wenzelm | removed obsolete ML files; | changeset | files |
| Fri, 02 Jun 2006 19:41:37 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 02 Jun 2006 18:24:48 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 02 Jun 2006 18:15:38 +0200 | wenzelm | removed obsolete ML files; | changeset | files |
| Fri, 02 Jun 2006 16:06:19 +0200 | wenzelm | merge: always normalize (and check!) reductions; | changeset | files |
| Thu, 01 Jun 2006 23:53:29 +0200 | huffman | removed legacy ML scripts | changeset | files |
| Thu, 01 Jun 2006 23:09:34 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 01 Jun 2006 23:07:51 +0200 | wenzelm | removed obsolete ML files; | changeset | files |
| Thu, 01 Jun 2006 21:14:54 +0200 | wenzelm | lemmas strip; | changeset | files |
| Thu, 01 Jun 2006 21:14:05 +0200 | wenzelm | removed obsolete ML files; | changeset | files |
| Thu, 01 Jun 2006 14:54:44 +0200 | urbanc | added some installation notes for the nominal package | changeset | files |
| Thu, 01 Jun 2006 14:51:37 +0200 | paulson | Tiny code cleanup | changeset | files |
| Thu, 01 Jun 2006 14:40:22 +0200 | urbanc | added an example suggested by D. Wang on the PoplMark-mailing list; | changeset | files |
| Thu, 01 Jun 2006 14:15:08 +0200 | urbanc | added the hack "reset NameSpace.unique_names" to Nominal.thy | changeset | files |