| Mon, 15 Feb 2010 14:51:17 +0100 | Cezary Kaliszyk | Names of files. | file | diff | annotate |
| Mon, 15 Feb 2010 10:25:17 +0100 | Cezary Kaliszyk | Second inline | file | diff | annotate |
| Fri, 12 Feb 2010 15:06:20 +0100 | Christian Urban | moved "strange" lemma to quotient_tacs; marked a number of lemmas as unused; tuned | file | diff | annotate |