Wed, 18 Apr 2007 11:14:09 +0200 | paulson | Fixes for proof reconstruction, especially involving abstractions and definitions | changeset | files |
Tue, 17 Apr 2007 21:06:59 +0200 | wenzelm | export is_dummy_pattern; | changeset | files |
Tue, 17 Apr 2007 03:13:38 +0200 | huffman | lemma isCont_inv_fun is same as isCont_inverse_function | changeset | files |