| Thu, 21 Mar 2013 10:05:03 +0100 |
nipkow |
proofs depend only on constraints, not on def of L WHILE
|
changeset |
files
|
| Wed, 20 Mar 2013 15:35:35 +0100 |
blanchet |
use the right role for SPASS hypotheses
|
changeset |
files
|
| Wed, 20 Mar 2013 14:56:30 +0100 |
kleing |
soundness statement as in type system
|
changeset |
files
|
| Wed, 20 Mar 2013 11:32:16 +0100 |
kleing |
add label for referencing in semantics book
|
changeset |
files
|
| Wed, 20 Mar 2013 11:16:31 +0100 |
nipkow |
tuned
|
changeset |
files
|
| Tue, 19 Mar 2013 21:35:15 +0100 |
nipkow |
get rid of xcolor warnings
|
changeset |
files
|
| Tue, 19 Mar 2013 15:59:58 +0100 |
traytel |
extended stream library
|
changeset |
files
|
| Tue, 19 Mar 2013 14:04:53 +0100 |
kleing |
export datatype definition which gets expanded too much in antiquotation
|
changeset |
files
|
| Tue, 19 Mar 2013 14:07:13 +0100 |
nipkow |
tuned
|
changeset |
files
|
| Tue, 19 Mar 2013 13:19:21 +0100 |
Andreas Lochbihler |
add induction rule for partial_function (tailrec)
|
changeset |
files
|
| Mon, 18 Mar 2013 20:02:37 +0100 |
wenzelm |
prefer ownerless window, to avoid question of potentially changing parent view;
|
changeset |
files
|
| Mon, 18 Mar 2013 19:33:25 +0100 |
wenzelm |
proper parent component for window.init;
|
changeset |
files
|
| Mon, 18 Mar 2013 19:20:53 +0100 |
kleing |
lemma names and a corollary
|
changeset |
files
|
| Mon, 18 Mar 2013 14:47:20 +0100 |
kleing |
managed to eliminate further snippets
|
changeset |
files
|