| Tue, 24 May 2016 16:13:59 +0200 |
wenzelm |
simplified syntax;
|
changeset |
files
|
| Tue, 24 May 2016 16:03:03 +0200 |
wenzelm |
clarified syntax category names according to Isabelle/ML/Scala;
|
changeset |
files
|
| Tue, 24 May 2016 15:53:16 +0200 |
wenzelm |
simplified syntax: Parse.term corresponds to Args.term etc.;
|
changeset |
files
|
| Tue, 24 May 2016 15:24:32 +0200 |
wenzelm |
clarified syntax categories;
|
changeset |
files
|
| Tue, 24 May 2016 15:16:57 +0200 |
wenzelm |
cartouche abbreviations work both for " as well;
|
changeset |
files
|
| Tue, 24 May 2016 18:48:01 +0200 |
eberlm |
Removed problematic code equation for set_permutations
|
changeset |
files
|
| Tue, 24 May 2016 18:46:51 +0200 |
eberlm |
Backed out changeset 8230358fab88
|
changeset |
files
|
| Tue, 24 May 2016 17:42:14 +0200 |
eberlm |
Deleted problematic code equation in Codegenerator_Test
|
changeset |
files
|
| Tue, 24 May 2016 15:16:15 +0100 |
paulson |
Merge
|
changeset |
files
|
| Tue, 24 May 2016 15:08:33 +0100 |
paulson |
New theory for Homeomorphisms
|
changeset |
files
|
| Tue, 24 May 2016 15:08:07 +0100 |
paulson |
Merge
|
changeset |
files
|
| Tue, 24 May 2016 13:57:34 +0100 |
paulson |
renamings and new material
|
changeset |
files
|
| Tue, 24 May 2016 13:57:04 +0100 |
paulson |
new theorem
|
changeset |
files
|
| Mon, 23 May 2016 16:03:29 +0100 |
paulson |
deleted stray thm command
|
changeset |
files
|
| Mon, 23 May 2016 16:02:46 +0100 |
paulson |
deleted needless comment
|
changeset |
files
|