| Tue, 11 Oct 2005 23:47:29 +0200 | huffman | added compactness theorems in locale iso | changeset | files |
| Tue, 11 Oct 2005 23:27:49 +0200 | huffman | added several theorems in locale iso | changeset | files |
| Tue, 11 Oct 2005 23:27:14 +0200 | huffman | added xsymbols syntax for pairs; cleaned up | changeset | files |
| Tue, 11 Oct 2005 23:23:39 +0200 | huffman | added theorem typedef_compact | changeset | files |
| Tue, 11 Oct 2005 23:22:12 +0200 | huffman | rearranged subsections; added theorems expand_cfun_eq, expand_cfun_less | changeset | files |
| Tue, 11 Oct 2005 23:19:50 +0200 | huffman | cleaned up; renamed less_fun to expand_fun_less | changeset | files |
| Tue, 11 Oct 2005 17:30:00 +0200 | nipkow | added hd lemma | changeset | files |