| Mon, 05 Dec 2005 15:55:19 +0100 | urbanc | transitivity should be now in a reasonable state. But | file | diff | annotate |
| Wed, 30 Nov 2005 19:08:51 +0100 | urbanc | started to change the transitivity/narrowing case: | file | diff | annotate |
| Wed, 30 Nov 2005 18:37:12 +0100 | urbanc | changed everything until the interesting transitivity_narrowing | file | diff | annotate |
| Mon, 28 Nov 2005 05:03:00 +0100 | urbanc | some small tuning | file | diff | annotate |
| Sun, 27 Nov 2005 06:01:11 +0100 | urbanc | added an authors section (please let me know if somebody is left out or unhappy) | file | diff | annotate |
| Sun, 27 Nov 2005 04:59:20 +0100 | urbanc | cleaned up all examples so that they work with the | file | diff | annotate |
| Fri, 25 Nov 2005 14:51:39 +0100 | urbanc | added fsub.thy (poplmark challenge) to the examples | file | diff | annotate |