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 |