| Wed, 28 Feb 2007 11:12:12 +0100 | krauss | added headers | file | diff | annotate |
| Wed, 28 Feb 2007 10:36:10 +0100 | krauss | cleanup, fixing sml/nj related problems | file | diff | annotate |
| Mon, 26 Feb 2007 21:34:16 +0100 | krauss | Added formalization of size-change principle (experimental). | file | diff | annotate |