| Sat, 10 Sep 2011 23:27:32 +0200 | wenzelm | misc tuning; | changeset | files |
| Sat, 10 Sep 2011 22:11:55 +0200 | wenzelm | misc tuning and clarification; | changeset | files |
| Sat, 10 Sep 2011 21:47:55 +0200 | wenzelm | speed up slow proof; | changeset | files |
| Sat, 10 Sep 2011 20:41:27 +0200 | wenzelm | merged | changeset | files |
| Sat, 10 Sep 2011 19:44:41 +0200 | haftmann | more modularization | changeset | files |
| Sat, 10 Sep 2011 20:39:13 +0200 | wenzelm | stronger colors (as background); | changeset | files |
| Sat, 10 Sep 2011 20:22:22 +0200 | wenzelm | some color scheme for theory status; | changeset | files |