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 |