| Mon, 07 Jun 2010 11:43:01 +0200 | Christian Urban | work on transitivity proof | file | diff | annotate |
| Mon, 31 May 2010 19:57:29 +0200 | Christian Urban | all raw definitions are defined using function | file | diff | annotate |
| Mon, 24 May 2010 20:02:37 +0100 | Christian Urban | alpha works now | file | diff | annotate |
| Thu, 20 May 2010 21:35:00 +0100 | Christian Urban | moved some mk_union and mk_diff into the library | file | diff | annotate |