| Thu, 04 Sep 2008 17:21:49 +0200 | huffman | rename INF_drop_prefix to INFM_drop_prefix | file | diff | annotate |
| Tue, 01 Jul 2008 06:51:59 +0200 | huffman | remove simp attribute from range_composition | file | diff | annotate |
| Tue, 01 Jul 2008 06:21:28 +0200 | huffman | rename INF to INFM | file | diff | annotate |
| Wed, 02 Apr 2008 15:58:32 +0200 | haftmann | explicit class "eq" for operational equality | file | diff | annotate |
| Tue, 06 Nov 2007 17:44:53 +0100 | krauss | moved stuff about size change termination to its own session | file | diff | annotate |