| Wed, 05 Mar 2014 13:59:25 -0800 | huffman | generalize lemmas | changeset | files |
| Wed, 05 Mar 2014 21:51:30 +0100 | wenzelm | more symbols; | changeset | files |
| Wed, 05 Mar 2014 20:07:43 +0100 | wenzelm | tuned proofs; | changeset | files |
| Wed, 05 Mar 2014 19:57:41 +0100 | wenzelm | tuned color (cf. jEdit FUNCTION); | changeset | files |