| Mon, 03 Sep 2012 17:55:42 +0200 |
traytel |
added examples for testing of coinductive witnesses
|
changeset |
files
|
| Mon, 03 Sep 2012 22:50:07 +0200 |
wenzelm |
continue with more robust dummy session after failed startup;
|
changeset |
files
|
| Mon, 03 Sep 2012 22:31:27 +0200 |
wenzelm |
prefer old startup dialog scheme (cf. 514bb82514df);
|
changeset |
files
|
| Mon, 03 Sep 2012 22:22:38 +0200 |
wenzelm |
more permissive handling of plugin startup failure;
|
changeset |
files
|
| Mon, 03 Sep 2012 21:30:34 +0200 |
wenzelm |
bypass slow check for inlined files, where it is not really required;
|
changeset |
files
|
| Mon, 03 Sep 2012 20:57:51 +0200 |
wenzelm |
more direct access to all-important chunks for text painting;
|
changeset |
files
|
| Mon, 03 Sep 2012 15:50:41 +0200 |
nipkow |
merged
|
changeset |
files
|
| Mon, 03 Sep 2012 15:41:06 +0200 |
nipkow |
added annotations after condition in if and while
|
changeset |
files
|
| Mon, 03 Sep 2012 13:19:52 +0200 |
wenzelm |
merge, resolving trivial conflict;
|
changeset |
files
|
| Thu, 30 Aug 2012 15:44:03 +0900 |
Christian Sternagel |
forgot to add lemmas
|
changeset |
files
|
| Thu, 30 Aug 2012 13:44:15 +0900 |
Christian Sternagel |
hide newly introduced constant Sublist.sub to allow for name sub in TreeFsetI
|
changeset |
files
|
| Thu, 30 Aug 2012 13:39:43 +0900 |
Christian Sternagel |
reverted (accidentally commited) changes from changeset fd4aef9bc7a9
|
changeset |
files
|
| Thu, 30 Aug 2012 13:39:30 +0900 |
Christian Sternagel |
reverted (accidentally commited) changes from changeset fd4aef9bc7a9
|
changeset |
files
|
| Thu, 30 Aug 2012 13:38:27 +0900 |
Christian Sternagel |
added theory instantiating type class order for list prefixes
|
changeset |
files
|
| Thu, 30 Aug 2012 13:06:04 +0900 |
Christian Sternagel |
Main is implicitly imported via Sublist
|
changeset |
files
|