| Fri, 13 Nov 2015 14:49:30 +0100 |
wenzelm |
more uniform jEdit properties;
|
changeset |
files
|
| Fri, 13 Nov 2015 14:11:54 +0100 |
wenzelm |
avoid vacuous quantification, as usual for shared variable scope;
|
changeset |
files
|
| 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
|
| Thu, 12 Nov 2015 21:12:09 +0100 |
blanchet |
use cartouches instead of backquotes
|
changeset |
files
|
| Thu, 12 Nov 2015 13:50:54 +0100 |
nipkow |
translation for conjunctive premises
|
changeset |
files
|
| Thu, 12 Nov 2015 11:22:26 +0100 |
nipkow |
tuned
|
changeset |
files
|
| Thu, 12 Nov 2015 11:05:38 +0100 |
nipkow |
added proof state output warning
|
changeset |
files
|
| Wed, 11 Nov 2015 19:22:18 +0100 |
nipkow |
tuned
|
changeset |
files
|