| Thu, 05 Mar 2015 11:57:34 +0100 | blanchet | more 'primcorec' error handling | changeset | files |
| Thu, 05 Mar 2015 11:57:34 +0100 | blanchet | helpful error message when 'auto' fails | changeset | files |
| Thu, 05 Mar 2015 11:57:34 +0100 | blanchet | no quick_and_dirty for goals that may fail + tuned messages | changeset | files |
| Thu, 05 Mar 2015 11:57:34 +0100 | blanchet | tuned new primrec messages | changeset | files |
| Thu, 05 Mar 2015 11:57:34 +0100 | blanchet | reworked primcorec error messages | changeset | files |
| Thu, 05 Mar 2015 11:11:42 +0100 | hoelzl | fix import path | changeset | files |
| Wed, 04 Mar 2015 23:42:47 +0100 | wenzelm | merged | changeset | files |
| Wed, 04 Mar 2015 23:21:09 +0100 | wenzelm | tuned signature; | changeset | files |
| Wed, 04 Mar 2015 23:14:38 +0100 | wenzelm | tuned signature; | changeset | files |
| Wed, 04 Mar 2015 22:56:25 +0100 | wenzelm | removed unused; | changeset | files |
| Wed, 04 Mar 2015 23:31:13 +0100 | nipkow | merged | changeset | files |
| Wed, 04 Mar 2015 23:31:04 +0100 | nipkow | Removed the obsolete functions "natfloor" and "natceiling" | changeset | files |
| Wed, 04 Mar 2015 22:05:01 +0100 | wenzelm | clarified signature; | changeset | files |
| Wed, 04 Mar 2015 20:50:20 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 04 Mar 2015 20:47:29 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 04 Mar 2015 20:16:39 +0100 | wenzelm | merged; | changeset | files |
| Wed, 04 Mar 2015 19:53:18 +0100 | wenzelm | tuned signature -- prefer qualified names; | changeset | files |
| Wed, 04 Mar 2015 16:51:11 +0100 | traytel | alist is a BNF | changeset | files |
| Tue, 03 Mar 2015 19:08:04 +0100 | traytel | eliminated some clones of Proof_Context.cterm_of | changeset | files |
| Tue, 03 Mar 2015 17:20:51 +0100 | blanchet | updated docs | changeset | files |
| Tue, 03 Mar 2015 16:37:45 +0100 | blanchet | strengthened 'size' tactic for examples like datatype (dead 'a, 'b) y = Y "'a * 'b" | changeset | files |
| Tue, 03 Mar 2015 16:37:45 +0100 | blanchet | SPASS-Pirate is now called Pirate | changeset | files |
| Tue, 03 Mar 2015 16:37:45 +0100 | blanchet | avoid duplicate simp warning for datatypes with explicit products | changeset | files |
| Tue, 03 Mar 2015 16:37:45 +0100 | blanchet | removed needless (and inconsistent) qualifier that messes up with Mirabelle | changeset | files |
| Tue, 03 Mar 2015 16:37:45 +0100 | blanchet | import 'Main' to be on the safe side | changeset | files |
| Sun, 01 Mar 2015 23:35:41 +0100 | wenzelm | added Proof_Context.cterm_of/ctyp_of convenience; | changeset | files |
| Sun, 01 Mar 2015 14:15:49 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 28 Feb 2015 21:51:34 +0100 | wenzelm | updated to jedit-5.2.0; | changeset | files |