| Mon, 18 Dec 2006 08:21:30 +0100 |
haftmann |
dropped two inline directives
|
changeset |
files
|
| Mon, 18 Dec 2006 08:21:29 +0100 |
haftmann |
introduced abstract view on number expressions in hologic.ML
|
changeset |
files
|
| Mon, 18 Dec 2006 08:21:28 +0100 |
haftmann |
whitespace fix
|
changeset |
files
|
| Mon, 18 Dec 2006 08:21:27 +0100 |
haftmann |
added code generation syntax for some char combinators
|
changeset |
files
|
| Mon, 18 Dec 2006 08:21:26 +0100 |
haftmann |
infix syntax for generated code for composition
|
changeset |
files
|
| Mon, 18 Dec 2006 08:21:25 +0100 |
haftmann |
new-style oracle setup
|
changeset |
files
|
| Mon, 18 Dec 2006 08:21:24 +0100 |
haftmann |
added functions tutorial
|
changeset |
files
|
| Sun, 17 Dec 2006 22:43:50 +0100 |
aspinall |
Add abstraction for objtypes and documents.
|
changeset |
files
|
| Sat, 16 Dec 2006 20:27:56 +0100 |
huffman |
removed Hyperreal/HyperArith.thy and Hyperreal/HyperPow.thy
|
changeset |
files
|
| Sat, 16 Dec 2006 20:23:45 +0100 |
huffman |
moved several theorems; rearranged theory dependencies
|
changeset |
files
|
| Sat, 16 Dec 2006 19:37:07 +0100 |
huffman |
hypreal_of_hypnat abbreviates more general of_hypnat
|
changeset |
files
|
| Fri, 15 Dec 2006 17:51:07 +0100 |
webertj |
tracing instead of warning
|
changeset |
files
|
| Fri, 15 Dec 2006 00:08:50 +0100 |
wenzelm |
updated;
|
changeset |
files
|
| Fri, 15 Dec 2006 00:08:16 +0100 |
wenzelm |
removed obsolete assert;
|
changeset |
files
|