| Sun, 27 Nov 2005 05:09:43 +0100 | urbanc | some minor tunings | changeset | files |
| Sun, 27 Nov 2005 05:00:43 +0100 | urbanc | added the version of nominal.thy that contains | changeset | files |
| Sun, 27 Nov 2005 04:59:20 +0100 | urbanc | cleaned up all examples so that they work with the | changeset | files |