| Tue, 01 Jul 2014 16:09:51 +0100 | paulson | Merge | changeset | files |
| Tue, 01 Jul 2014 16:08:31 +0100 | paulson | for new release | changeset | files |
| Tue, 01 Jul 2014 17:06:54 +0200 | desharna | merge | changeset | files |
| Tue, 01 Jul 2014 17:01:48 +0200 | desharna | document property 'rel_induct' | changeset | files |
| Tue, 01 Jul 2014 17:01:28 +0200 | desharna | generate 'rel_induct' theorem for datatypes | changeset | files |
| Tue, 01 Jul 2014 16:49:25 +0200 | blanchet | fixed soundness bug in monotonicity-based type encodings -- the helper facts must be considered too | changeset | files |
| Tue, 01 Jul 2014 16:47:10 +0200 | blanchet | added hidden check to Sledgehammer fact filters, to avoid picking up facts like 'Nat.nat_induct0' | changeset | files |
| Tue, 01 Jul 2014 16:47:10 +0200 | blanchet | whitespace tuning | changeset | files |
| Tue, 01 Jul 2014 16:47:10 +0200 | blanchet | robustness in the face of ill-typed "unchecked" terms (e.g. case expressions) | changeset | files |
| Tue, 01 Jul 2014 16:47:10 +0200 | blanchet | use context instead of theory | changeset | files |
| Tue, 01 Jul 2014 16:47:10 +0200 | blanchet | fine-tuned methods | changeset | files |
| Tue, 01 Jul 2014 16:47:10 +0200 | blanchet | tuned message | changeset | files |
| Tue, 01 Jul 2014 16:47:10 +0200 | blanchet | updated docs | changeset | files |
| Tue, 01 Jul 2014 16:47:10 +0200 | blanchet | changed default MaSh engine | changeset | files |
| Tue, 01 Jul 2014 16:47:10 +0200 | blanchet | removed needless code | changeset | files |
| Tue, 01 Jul 2014 16:47:10 +0200 | blanchet | speed up MaSh a bit | changeset | files |
| Tue, 01 Jul 2014 16:47:10 +0200 | blanchet | mix NB and kNN | changeset | files |
| Tue, 01 Jul 2014 16:47:10 +0200 | blanchet | tuned (reordered) code | changeset | files |
| Tue, 01 Jul 2014 16:47:10 +0200 | blanchet | clean up MaSh export a bit | changeset | files |
| Tue, 01 Jul 2014 16:47:10 +0200 | blanchet | clean up MaSh evaluation driver | changeset | files |
| Tue, 01 Jul 2014 16:26:14 +0200 | wenzelm | merged | changeset | files |
| Tue, 01 Jul 2014 15:19:43 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 01 Jul 2014 15:19:05 +0200 | wenzelm | clarified quasi-generic PIDE; | changeset | files |
| Tue, 01 Jul 2014 14:52:08 +0200 | wenzelm | misc updates for release; | changeset | files |