| Thu, 26 Sep 2013 09:58:36 +0200 | blanchet | added data query function | changeset | files |
| Thu, 26 Sep 2013 02:34:34 +0200 | blanchet | tuning | changeset | files |
| Thu, 26 Sep 2013 02:25:33 +0200 | blanchet | got rid of dependency on silly 'eq_ifI' theorem | changeset | files |
| Thu, 26 Sep 2013 02:09:52 +0200 | blanchet | more powerful/robust tactics | changeset | files |
| Thu, 26 Sep 2013 01:05:32 +0200 | blanchet | use standard "split" properties instead of ad hoc "eq_...I" | changeset | files |
| Thu, 26 Sep 2013 01:05:07 +0200 | blanchet | tuning | changeset | files |
| Thu, 26 Sep 2013 01:05:06 +0200 | blanchet | made tactic more flexible w.r.t. case expressions and such | changeset | files |
| Wed, 25 Sep 2013 21:25:53 +0200 | panny | simplified code | changeset | files |
| Wed, 25 Sep 2013 20:29:28 +0200 | wenzelm | simplified directory structure; | changeset | files |
| Wed, 25 Sep 2013 20:28:49 +0200 | wenzelm | obsolete (see da57c4912987); | changeset | files |
| Wed, 25 Sep 2013 18:49:37 +0200 | blanchet | don't generate wrong type | changeset | files |
| Wed, 25 Sep 2013 18:00:53 +0200 | blanchet | proper handling of abstractions | changeset | files |
| Wed, 25 Sep 2013 17:11:17 +0200 | blanchet | fixed off-by-one bug | changeset | files |
| Wed, 25 Sep 2013 17:01:29 +0200 | blanchet | further improved 'code' helper functions | changeset | files |
| Wed, 25 Sep 2013 16:57:48 +0200 | blanchet | removed spurious recursion | changeset | files |
| Wed, 25 Sep 2013 16:52:51 +0200 | blanchet | robustness | changeset | files |
| Wed, 25 Sep 2013 16:43:46 +0200 | blanchet | thread through bound types | changeset | files |
| Wed, 25 Sep 2013 16:43:46 +0200 | blanchet | killed redundant argument | changeset | files |
| Wed, 25 Sep 2013 16:43:46 +0200 | blanchet | improved massaging of case expressions | changeset | files |
| Wed, 25 Sep 2013 16:43:46 +0200 | blanchet | filled in gap in library offering | changeset | files |
| Wed, 25 Sep 2013 16:29:35 +0200 | wenzelm | updated documentation concerning MacOSX plugin 1.3; | changeset | files |
| Wed, 25 Sep 2013 16:21:27 +0200 | wenzelm | merged | changeset | files |
| Wed, 25 Sep 2013 16:05:40 +0200 | wenzelm | bypass Isabelle OSX_Adapter for now -- MacOSX plugin 1.3 manages that better; | changeset | files |
| Wed, 25 Sep 2013 15:40:34 +0200 | wenzelm | include MacOSX plugin by default -- disabled by default to avoid multiplatform confusion; | changeset | files |
| Wed, 25 Sep 2013 15:26:19 +0200 | wenzelm | removed obsolete cobra.jar, js.jar (see also 30de372ca56f); | changeset | files |
| Wed, 25 Sep 2013 15:49:15 +0200 | nipkow | merged | changeset | files |
| Wed, 25 Sep 2013 15:49:09 +0200 | nipkow | tuned | changeset | files |
| Wed, 25 Sep 2013 14:28:10 +0200 | blanchet | break more conjunctions | changeset | files |
| Wed, 25 Sep 2013 14:21:18 +0200 | blanchet | move useful functions to library | changeset | files |
| Wed, 25 Sep 2013 13:39:34 +0200 | panny | merge | changeset | files |