Sat, 18 Jul 2015 20:54:56 +0200 | wenzelm | prefer tactics with explicit context; | file | diff | annotate |
Sat, 09 May 2015 12:19:24 +0200 | nipkow | undid 6d7b7a037e8d because it does not help but slows simplification down by up to 5% (AODV) | file | diff | annotate |
Sun, 03 May 2015 15:38:25 +0200 | nipkow | swap False to the right in assumptions to be eliminated at the right end | file | diff | annotate |
Tue, 28 Apr 2015 19:09:28 +0200 | nipkow | undid 6d7b7a037e8d | file | diff | annotate |
Tue, 28 Apr 2015 16:23:05 +0100 | paulson | Fixed a non-terminating proof (almost certainly caused by no change of mind) | file | diff | annotate |
Sat, 27 Dec 2014 20:32:06 +0100 | wenzelm | update_cartouches; | file | diff | annotate |
Sun, 02 Nov 2014 17:36:52 +0100 | wenzelm | modernized header; | file | diff | annotate |