| Mon, 27 Feb 2012 10:56:36 +0100 | bulwahn | removing Find_Unused_Assms_Examples from session as it requires much time | file | diff | annotate |
| Wed, 22 Feb 2012 18:08:27 +0100 | bulwahn | NEWS | file | diff | annotate |
| Wed, 22 Feb 2012 17:25:35 +0100 | bulwahn | adding some examples with find_unused_assms command | file | diff | annotate |
| Wed, 22 Feb 2012 08:01:41 +0100 | bulwahn | moving Quickcheck's example to its own session | file | diff | annotate |