| Sat, 13 Jun 2015 22:58:38 +0100 | paulson | Merge | changeset | files |
| Sat, 13 Jun 2015 22:57:31 +0100 | paulson | Merge | changeset | files |
| Sat, 13 Jun 2015 22:48:47 +0100 | paulson | fixed another horrible proof | changeset | files |
| Sat, 13 Jun 2015 23:57:19 +0200 | wenzelm | tuned proofs; | changeset | files |
| Sat, 13 Jun 2015 23:36:21 +0200 | wenzelm | tuned signature; | changeset | files |
| Sat, 13 Jun 2015 22:44:22 +0200 | wenzelm | merged | changeset | files |
| Sat, 13 Jun 2015 22:42:23 +0200 | wenzelm | more on 'consider' and related concepts; | changeset | files |
| Sat, 13 Jun 2015 20:07:54 +0200 | wenzelm | tuned proofs; | changeset | files |
| Sat, 13 Jun 2015 19:53:53 +0200 | wenzelm | tuned proofs; | changeset | files |
| Sat, 13 Jun 2015 19:38:26 +0200 | wenzelm | open parameters for 'consider' rule; | changeset | files |
| Sat, 13 Jun 2015 17:14:05 +0200 | wenzelm | implicit rule for method "cases"; | changeset | files |
| Sat, 13 Jun 2015 16:35:27 +0200 | wenzelm | eliminated slightly odd Element.close_form: toplevel specifications have different policies than proof text elements; | changeset | files |
| Sat, 13 Jun 2015 15:51:19 +0200 | wenzelm | clarified 'obtain', using structured 'have' statement; | changeset | files |
| Sat, 13 Jun 2015 15:16:59 +0200 | wenzelm | tuned comments; | changeset | files |