| Mon, 15 Jul 2013 14:23:51 +0200 | traytel | eliminate duplicated theorems (thanks to "Auto solve_direct" in jEdit) | changeset | files |
| Mon, 15 Jul 2013 11:29:19 +0200 | wenzelm | tuned specifications and proofs; | changeset | files |
| Mon, 15 Jul 2013 10:42:12 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 15 Jul 2013 10:31:41 +0200 | wenzelm | keep persistent prints only if actually finished; | changeset | files |