| Wed, 05 Dec 2007 20:16:36 +0100 |
wenzelm |
removed -e flag from most sessions;
|
changeset |
files
|
| Wed, 05 Dec 2007 16:54:50 +0100 |
obua |
instance int,real :: lordered_ring
|
changeset |
files
|
| Wed, 05 Dec 2007 14:36:58 +0100 |
krauss |
methods "relation" and "lexicographic_order" do not insist on applying the "f.termination" rule of a function.
|
changeset |
files
|
| Wed, 05 Dec 2007 14:32:17 +0100 |
haftmann |
tuned class parts
|
changeset |
files
|
| Wed, 05 Dec 2007 14:16:15 +0100 |
haftmann |
dropped Classpackage.thy
|
changeset |
files
|
| Wed, 05 Dec 2007 14:16:14 +0100 |
haftmann |
tuned
|
changeset |
files
|
| Wed, 05 Dec 2007 14:16:13 +0100 |
haftmann |
added parser for multi_arity
|
changeset |
files
|
| Wed, 05 Dec 2007 14:16:12 +0100 |
haftmann |
added constrain_thm
|
changeset |
files
|
| Wed, 05 Dec 2007 14:16:11 +0100 |
haftmann |
canonical instantiation
|
changeset |
files
|
| Wed, 05 Dec 2007 14:16:05 +0100 |
haftmann |
map_product and fold_product
|
changeset |
files
|
| Wed, 05 Dec 2007 14:15:59 +0100 |
haftmann |
interface and distinct simproc tuned
|
changeset |
files
|
| Wed, 05 Dec 2007 14:15:51 +0100 |
haftmann |
improved
|
changeset |
files
|
| Wed, 05 Dec 2007 14:15:48 +0100 |
haftmann |
interpretation of typedefs
|
changeset |
files
|
| Wed, 05 Dec 2007 14:15:45 +0100 |
haftmann |
simplified infrastructure for code generator operational equality
|
changeset |
files
|
| Wed, 05 Dec 2007 14:15:39 +0100 |
haftmann |
added something about instantiation target
|
changeset |
files
|
| Wed, 05 Dec 2007 04:34:15 +0100 |
kleing |
switch poly to 5.1, removed -e flag from most sessions
|
changeset |
files
|
| Wed, 05 Dec 2007 04:30:58 +0100 |
kleing |
switch at-poly main to poly 5.1
|
changeset |
files
|
| Wed, 05 Dec 2007 04:29:27 +0100 |
kleing |
make mac-poly non-experimental
|
changeset |
files
|
| Wed, 05 Dec 2007 04:27:37 +0100 |
kleing |
make at64 non-experimental
|
changeset |
files
|
| Tue, 04 Dec 2007 22:49:45 +0100 |
wenzelm |
Isabelle process wrapper -- interaction via external program.
|
changeset |
files
|
| Tue, 04 Dec 2007 22:49:28 +0100 |
wenzelm |
Toplevel.loop: explicit argument for secure loop, no warning on quit;
|
changeset |
files
|
| Tue, 04 Dec 2007 22:49:27 +0100 |
wenzelm |
added Isar.secure_main;
|
changeset |
files
|
| Tue, 04 Dec 2007 22:49:26 +0100 |
wenzelm |
added Tools/isabelle_process.ML;
|
changeset |
files
|
| Tue, 04 Dec 2007 22:49:22 +0100 |
wenzelm |
isabelle process: replaced option -p by -W (process wrapper);
|
changeset |
files
|
| Tue, 04 Dec 2007 22:49:21 +0100 |
wenzelm |
replaced option -p by -W (process wrapper);
|
changeset |
files
|
| Tue, 04 Dec 2007 21:09:37 +0100 |
wenzelm |
\<chi> is now considered a letter;
|
changeset |
files
|
| Tue, 04 Dec 2007 13:22:55 +0100 |
wenzelm |
symbol chi is also a letter;
|
changeset |
files
|
| Mon, 03 Dec 2007 17:47:35 +0100 |
obua |
improvements
|
changeset |
files
|
| Mon, 03 Dec 2007 16:04:17 +0100 |
haftmann |
overloading target
|
changeset |
files
|
| Mon, 03 Dec 2007 16:04:16 +0100 |
haftmann |
interface for unchecked definitions
|
changeset |
files
|