| Mon, 08 Jun 2015 20:58:43 +0200 | wenzelm | avoid duplicate warning due to Variable.warn_extra_tfrees; | changeset | files |
| Mon, 08 Jun 2015 20:53:42 +0200 | wenzelm | clarified Proof_Context.cert_propp/read_propp; | changeset | files |
| Mon, 08 Jun 2015 19:38:08 +0200 | wenzelm | more careful treatment of term bindings in 'obtain' proof body; | changeset | files |
| Mon, 08 Jun 2015 14:45:31 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 08 Jun 2015 18:56:04 +0100 | paulson | Merge | changeset | files |
| Mon, 08 Jun 2015 00:25:10 +0100 | paulson | Tidied lots of messy proofs | changeset | files |
| Sun, 07 Jun 2015 23:37:32 +0200 | wenzelm | tuned signature; | changeset | files |
| Sun, 07 Jun 2015 22:04:50 +0200 | wenzelm | tuned (see also 66e6c539a36d); | changeset | files |
| Sun, 07 Jun 2015 21:58:18 +0200 | wenzelm | tuned signature; | changeset | files |
| Sun, 07 Jun 2015 21:30:53 +0200 | wenzelm | clarified: declare props once and for all; | changeset | files |
| Sun, 07 Jun 2015 20:03:40 +0200 | wenzelm | tuned signature; | changeset | files |
| Sun, 07 Jun 2015 15:35:49 +0200 | wenzelm | tuned signature; | changeset | files |
| Sun, 07 Jun 2015 15:01:07 +0200 | wenzelm | tuned signature; | changeset | files |
| Sun, 07 Jun 2015 14:36:36 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 07 Jun 2015 12:55:42 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 07 Jun 2015 12:55:28 +0200 | wenzelm | tuned; | changeset | files |