| Sun, 27 Nov 2005 06:01:11 +0100 | urbanc | added an authors section (please let me know if somebody is left out or unhappy) | changeset | files |
| 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 |
| Sun, 27 Nov 2005 03:55:16 +0100 | urbanc | finished cleaning up the parts that collect | changeset | files |
| Sat, 26 Nov 2005 18:41:41 +0100 | berghofe | Corrected treatment of non-recursive abstraction types. | changeset | files |