| Mon, 27 Feb 2012 12:12:28 +0100 | wenzelm | reactivated Find_Unused_Assms_Examples to avoid untested / dead stuff in the repository; | changeset | files |
| Mon, 27 Feb 2012 11:53:08 +0100 | nipkow | merged | changeset | files |
| Mon, 27 Feb 2012 10:27:21 +0100 | nipkow | added lemma | changeset | files |
| Mon, 27 Feb 2012 09:01:49 +0100 | nipkow | converting "set [...]" to "{...}" in evaluation results | changeset | files |
| Mon, 27 Feb 2012 10:56:36 +0100 | bulwahn | removing Find_Unused_Assms_Examples from session as it requires much time | changeset | files |
| Sun, 26 Feb 2012 21:44:12 +0100 | haftmann | restored accidental omission | changeset | files |
| Sun, 26 Feb 2012 21:43:57 +0100 | haftmann | dropped dead code | changeset | files |