Fri, 13 Mar 2009 07:30:47 -0700 | huffman | introduce new helper functions; clean up proofs | file | diff | annotate |
Tue, 30 Dec 2008 11:10:01 +0100 | ballarin | Merged. | file | diff | annotate |
Tue, 16 Dec 2008 21:10:53 +0100 | ballarin | More porting to new locales. | file | diff | annotate |
Tue, 16 Dec 2008 21:31:55 -0800 | huffman | remove cvs Id tags | file | diff | annotate |
Tue, 25 Nov 2008 23:26:44 +0100 | huffman | renamed lemma compact_minimal to compact_bot_minimal | file | diff | annotate |
Tue, 01 Jul 2008 01:28:07 +0200 | huffman | universal bifinite domain | file | diff | annotate |