| Sat, 17 Oct 2009 14:43:18 +0200 | wenzelm | eliminated hard tabulators, guessing at each author's individual tab-width; | file | diff | annotate |
| Thu, 09 Jul 2009 23:05:59 +0200 | krauss | reorganised; many new lemmas thanks to sledgehammer | file | diff | annotate |
| 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 |