| Mon, 27 May 2013 15:57:38 +0200 | wenzelm | instantiate types as well (see also Thm.first_order_match); | changeset | files |
| Mon, 27 May 2013 13:55:04 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 27 May 2013 13:44:02 +0200 | wenzelm | updated to ProofGeneral-4.2; | changeset | files |