| Fri, 13 Nov 2015 11:41:11 +0100 | wenzelm | support for structure statements in 'assume', 'presume'; | changeset | files |
| Thu, 12 Nov 2015 11:30:56 +0100 | wenzelm | support short form for \<^theory_text>; | changeset | files |
| Fri, 13 Nov 2015 15:59:40 +0000 | paulson | MIR decision procedure again working | changeset | files |
| Fri, 13 Nov 2015 16:17:30 +0100 | nipkow | unnecessary precondition | changeset | files |
| Fri, 13 Nov 2015 12:43:54 +0000 | paulson | Merge | changeset | files |
| Fri, 13 Nov 2015 12:27:13 +0000 | paulson | Tweaks for "real": Removal of [iff] status for some lemmas, adding [simp] for others. Plus fixes. | changeset | files |
| Fri, 13 Nov 2015 12:28:11 +0100 | nipkow | tuned name | changeset | files |
| Fri, 13 Nov 2015 12:06:50 +0100 | nipkow | tuned | changeset | files |