Tue, 05 Mar 2002 20:54:55 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
Tue, 05 Mar 2002 18:55:46 +0100 |
wenzelm |
more stuff;
|
changeset |
files
|
Tue, 05 Mar 2002 18:54:55 +0100 |
berghofe |
Added two paragraphs on "rules" method and code generator.
|
changeset |
files
|
Tue, 05 Mar 2002 18:19:11 +0100 |
prensani |
New order in the loading of theories (Quote-antiquote right before the OG_Syntax and RG_Syntax respectively)
|
changeset |
files
|
Tue, 05 Mar 2002 17:14:11 +0100 |
prensani |
Adding root.tex for HoareParallel
|
changeset |
files
|
Tue, 05 Mar 2002 17:11:25 +0100 |
prensani |
HoareParallel Theories
|
changeset |
files
|
Tue, 05 Mar 2002 17:09:15 +0100 |
prensani |
Target HoareParallel in IsaMakefile
|
changeset |
files
|
Mon, 04 Mar 2002 22:32:58 +0100 |
wenzelm |
isatool usedir -D generated Foo && isatool document Foo/generated;
|
changeset |
files
|
Mon, 04 Mar 2002 22:32:15 +0100 |
wenzelm |
'using' primitive;
|
changeset |
files
|
Mon, 04 Mar 2002 22:31:21 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
Mon, 04 Mar 2002 19:08:15 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
Mon, 04 Mar 2002 19:07:58 +0100 |
wenzelm |
records from logics-HOL;
|
changeset |
files
|
Mon, 04 Mar 2002 19:07:22 +0100 |
wenzelm |
improved ``deriving rules'';
|
changeset |
files
|
Mon, 04 Mar 2002 19:06:52 +0100 |
wenzelm |
hide SVC stuff (outdated);
|
changeset |
files
|
Mon, 04 Mar 2002 19:06:01 +0100 |
wenzelm |
\SHOWS;
|
changeset |
files
|