Tue, 15 Nov 2011 12:39:49 +0100 | huffman | remove old-style semicolons | changeset | files |
Tue, 15 Nov 2011 12:39:29 +0100 | huffman | avoid theorem references like 'semiring_norm(111)' | changeset | files |
Tue, 15 Nov 2011 09:22:19 +0100 | huffman | merged | changeset | files |