| 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 |
| Sun, 07 Jun 2015 12:43:06 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Sat, 06 Jun 2015 13:38:24 +0200 | wenzelm | more tight treatment of subgoals: main goal may refer to extra variables; | changeset | files |
| Fri, 05 Jun 2015 13:41:06 +0200 | wenzelm | added Isar command 'supply'; | changeset | files |
| Fri, 05 Jun 2015 13:26:12 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 05 Jun 2015 11:11:26 +0200 | wenzelm | clarified signature -- better support for Isar commands outside of Pure; | changeset | files |
| Wed, 03 Jun 2015 21:48:40 +0200 | wenzelm | merged | changeset | files |
| Wed, 03 Jun 2015 19:25:05 +0200 | wenzelm | clarified context; | changeset | files |
| Tue, 02 Jun 2015 23:00:50 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 02 Jun 2015 19:56:29 +0200 | wenzelm | clarified context; | changeset | files |
| Tue, 02 Jun 2015 17:27:01 +0200 | wenzelm | cleaified context; | changeset | files |
| Tue, 02 Jun 2015 13:55:43 +0200 | wenzelm | clarified context; | changeset | files |
| Tue, 02 Jun 2015 11:03:02 +0200 | wenzelm | clarified context; | changeset | files |
| Tue, 02 Jun 2015 10:12:46 +0200 | wenzelm | clarified context; | changeset | files |
| Tue, 02 Jun 2015 10:12:29 +0200 | wenzelm | clarified context; | changeset | files |
| Tue, 02 Jun 2015 09:40:04 +0200 | wenzelm | clarified context; | changeset | files |
| Tue, 02 Jun 2015 09:16:19 +0200 | wenzelm | clarified context; | changeset | files |
| Tue, 02 Jun 2015 09:10:05 +0200 | wenzelm | tuned proof; | changeset | files |
| Wed, 03 Jun 2015 09:32:49 +0200 | noschinl | merged | changeset | files |
| Tue, 02 Jun 2015 13:14:36 +0200 | noschinl | simps_of_case: Better error if split rule is not an equality | changeset | files |
| Tue, 02 Jun 2015 13:14:11 +0200 | noschinl | simps_of_case: allow Drule.dummy_thm as ignored split rule | changeset | files |