| 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 |
| Wed, 11 Nov 2015 18:32:36 +0100 | nipkow | merged | changeset | files |
| Wed, 11 Nov 2015 18:32:26 +0100 | nipkow | no CRLF | changeset | files |
| Wed, 11 Nov 2015 17:11:50 +0000 | paulson | new conversion theorems for int, nat to float | changeset | files |
| Wed, 11 Nov 2015 16:42:30 +0100 | nipkow | merged | changeset | files |
| Wed, 11 Nov 2015 16:42:22 +0100 | nipkow | uniform proof of lemmas | changeset | files |