| Mon, 11 Oct 2010 18:02:14 +0700 | blanchet | added "trace_metis" configuration option, replacing old-fashioned references | changeset | files |
| Sun, 10 Oct 2010 23:16:24 +0200 | krauss | do not mention unqualified names, now that 'global' and 'local' are gone | changeset | files |
| Sun, 10 Oct 2010 16:34:20 +0200 | nipkow | simplified proof | changeset | files |
| Sun, 10 Oct 2010 18:42:13 +0700 | blanchet | avoid generating several formulas with the same name ("tfrees") | changeset | files |
| Wed, 06 Oct 2010 10:49:27 -0700 | huffman | major reorganization/simplification of HOLCF type classes: | changeset | files |
| Tue, 05 Oct 2010 17:53:00 -0700 | Brian Huffman | add lemma finite_deflation_intro | changeset | files |
| Tue, 05 Oct 2010 17:36:45 -0700 | Brian Huffman | add lemmas finite_deflation_imp_compact, cast_below_cast_iff | changeset | files |