| Wed, 08 Jan 2020 18:36:03 +0100 |
Walther Neuper |
try to re-run with Isabelle2015
default tip
|
changeset |
files
|
| Wed, 08 Jan 2020 11:20:20 +0100 |
Walther Neuper |
try to re-run ./build as a model for another paper
|
changeset |
files
|
| Sun, 13 Jul 2014 08:17:09 +0200 |
Wolfgang Schreiner |
fix typo
|
changeset |
files
|
| Tue, 08 Jul 2014 08:31:24 +0200 |
Wolfgang Schreiner |
Focus slide 3 on polynomials
|
changeset |
files
|
| Mon, 07 Jul 2014 15:45:39 +0200 |
Wolfgang Schreiner |
motivation
|
changeset |
files
|
| Mon, 07 Jul 2014 14:48:57 +0200 |
Andreas Lochbihler |
tuned
|
changeset |
files
|
| Mon, 07 Jul 2014 14:44:07 +0200 |
Andreas Lochbihler |
animate slides
|
changeset |
files
|
| Mon, 07 Jul 2014 14:16:51 +0200 |
Andreas Lochbihler |
summary slide merged with discussion slide
|
changeset |
files
|
| Mon, 07 Jul 2014 14:06:43 +0200 |
Andreas Lochbihler |
slides on Isabelle problems
|
changeset |
files
|
| Mon, 07 Jul 2014 12:05:17 +0200 |
Andreas Lochbihler |
split design issues slide
|
changeset |
files
|
| ... |