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 |