| Sat, 11 Jun 2011 16:05:17 +0200 | wenzelm | cover method "deepen" concisely; | file | diff | annotate |
| Sat, 11 Jun 2011 15:36:46 +0200 | wenzelm | moved/updated single-step tactics; | file | diff | annotate |
| Sat, 11 Jun 2011 15:03:31 +0200 | wenzelm | tuned sections; | file | diff | annotate |
| Thu, 09 Jun 2011 22:25:25 +0200 | wenzelm | document depth arguments of method "auto"; | file | diff | annotate |
| Sun, 05 Jun 2011 22:02:54 +0200 | wenzelm | updated and re-unified classical proof methods; | file | diff | annotate |
| Sun, 05 Jun 2011 20:23:05 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sun, 05 Jun 2011 20:15:47 +0200 | wenzelm | updated and re-unified classical rule declarations; | file | diff | annotate |