| Tue, 14 Feb 2012 22:22:01 +0100 | wenzelm | tuned signature; | changeset | files |
| Tue, 14 Feb 2012 21:59:10 +0100 | wenzelm | more conventional tactic setup -- avoid low-level Thm.dest_state and spurious warnings about it; | changeset | files |
| Tue, 14 Feb 2012 21:45:32 +0100 | wenzelm | more conventional tactic setup; | changeset | files |