| Wed, 29 Dec 2010 17:34:41 +0100 | wenzelm | explicit file specifications -- avoid secondary load path; | file | diff | annotate |
| Sun, 19 Dec 2010 11:48:42 +0100 | blanchet | added a timestamp to Nitpick in verbose mode for debugging purposes; | file | diff | annotate |
| Wed, 03 Nov 2010 22:26:53 +0100 | blanchet | standardize on seconds for Nitpick and Sledgehammer timeouts | file | diff | annotate |
| Tue, 14 Sep 2010 14:22:49 +0200 | blanchet | adapt examples to latest Nitpick changes + speed them up a little bit | file | diff | annotate |
| Mon, 13 Sep 2010 11:13:15 +0200 | nipkow | renamed lemmas: ext_iff -> fun_eq_iff, set_ext_iff -> set_eq_iff, set_ext -> set_eqI | file | diff | annotate |
| Tue, 07 Sep 2010 10:05:19 +0200 | nipkow | expand_fun_eq -> ext_iff | file | diff | annotate |
| Mon, 09 Aug 2010 13:46:25 +0200 | blanchet | "declare" -> "declaration" (typo) | file | diff | annotate |