| Sat, 04 Oct 2008 16:05:09 +0200 |
wenzelm |
replaced ISATOOL by ISABELLE_TOOL;
|
file |
diff |
annotate
|
| Tue, 01 Jul 2008 07:13:45 +0200 |
huffman |
put file dependencies on separate lines
|
file |
diff |
annotate
|
| Tue, 01 Jul 2008 01:28:44 +0200 |
huffman |
add file dependencies
|
file |
diff |
annotate
|
| Mon, 30 Jun 2008 21:47:56 +0200 |
huffman |
remove unused Cset.thy
|
file |
diff |
annotate
|
| Fri, 20 Jun 2008 22:28:10 +0200 |
huffman |
replace SetPcpo.thy with Cset.thy
|
file |
diff |
annotate
|
| Fri, 28 Mar 2008 00:02:56 +0100 |
wenzelm |
updated dependencies;
|
file |
diff |
annotate
|
| Tue, 23 Oct 2007 22:48:25 +0200 |
nipkow |
changed back from ~=0 to >0
|
file |
diff |
annotate
|
| Thu, 31 May 2007 14:01:58 +0200 |
wenzelm |
moved HOLCF tools to canonical place;
|
file |
diff |
annotate
|
| Thu, 26 Apr 2007 16:39:31 +0200 |
wenzelm |
removed legacy ML files;
|
file |
diff |
annotate
|
| Thu, 28 Sep 2006 23:42:53 +0200 |
wenzelm |
removed obsolete HOLCF.ML;
|
file |
diff |
annotate
|
| Fri, 02 Jun 2006 20:12:59 +0200 |
wenzelm |
removed obsolete ML files;
|
file |
diff |
annotate
|
| Thu, 01 Jun 2006 23:53:29 +0200 |
huffman |
removed legacy ML scripts
|
file |
diff |
annotate
|
| Sun, 28 May 2006 20:53:03 +0200 |
wenzelm |
removed legacy ML scripts;
|
file |
diff |
annotate
|
| Sun, 28 May 2006 19:54:20 +0200 |
wenzelm |
removed legacy ML scripts;
|
file |
diff |
annotate
|
| Sat, 27 May 2006 21:18:51 +0200 |
wenzelm |
removed legacy ML scripts;
|
file |
diff |
annotate
|
| Sat, 27 May 2006 21:00:31 +0200 |
wenzelm |
removed legacy ML scripts;
|
file |
diff |
annotate
|
| Sat, 27 May 2006 19:49:36 +0200 |
wenzelm |
removed legacy ML scripts;
|
file |
diff |
annotate
|
| Wed, 03 May 2006 03:47:15 +0200 |
huffman |
update to reflect changes in inverts/injects lemmas
|
file |
diff |
annotate
|
| Thu, 03 Nov 2005 00:32:47 +0100 |
huffman |
removed ex/loeckx.ML
|
file |
diff |
annotate
|
| Wed, 19 Oct 2005 21:52:36 +0200 |
wenzelm |
removed obsolete domain/interface.ML, IOA/meta_theory/ioa_package.ML;
|
file |
diff |
annotate
|
| Sat, 03 Sep 2005 16:45:43 +0200 |
wenzelm |
removed IOA/Storage/Impl.ML, IOA/Storage/Action.ML;
|
file |
diff |
annotate
|
| Wed, 06 Jul 2005 00:06:34 +0200 |
huffman |
add pcpodef files
|
file |
diff |
annotate
|
| Thu, 23 Jun 2005 22:08:24 +0200 |
huffman |
add new file to test fixrec package
|
file |
diff |
annotate
|
| Tue, 14 Jun 2005 03:50:20 +0200 |
huffman |
moved continuity simproc to a separate file
|
file |
diff |
annotate
|
| Sat, 04 Jun 2005 02:10:41 +0200 |
huffman |
added fixrec_package.ML
|
file |
diff |
annotate
|
| Sat, 04 Jun 2005 00:22:22 +0200 |
huffman |
add Fixrec.thy
|
file |
diff |
annotate
|
| Fri, 03 Jun 2005 23:14:09 +0200 |
huffman |
renamed FunCpo to Ffun
|
file |
diff |
annotate
|
| Tue, 24 May 2005 10:55:11 +0200 |
paulson |
cannot have files named adm.ML and Adm.ML on Macs, so deleted one and renamed the other
|
file |
diff |
annotate
|
| Tue, 24 May 2005 05:51:06 +0200 |
huffman |
New theory for defining subtypes of pcpos
|
file |
diff |
annotate
|
| Tue, 24 May 2005 05:03:54 +0200 |
huffman |
Moved admissibility definitions and lemmas to a separate theory
|
file |
diff |
annotate
|
| Sat, 16 Apr 2005 00:17:52 +0200 |
huffman |
speed improvements for the domain package
|
file |
diff |
annotate
|
| Mon, 07 Mar 2005 23:30:06 +0100 |
huffman |
Added dependency document/root.tex, and -g true option to isatool; document generation should work now.
|
file |
diff |
annotate
|
| Fri, 04 Mar 2005 23:12:36 +0100 |
huffman |
converted to new-style theories, and combined numbered files
|
file |
diff |
annotate
|
| Wed, 02 Mar 2005 00:56:41 +0100 |
huffman |
eliminated deps for removed files
|
file |
diff |
annotate
|
| Tue, 14 Dec 2004 10:40:07 +0100 |
paulson |
tidied; removed references to HOL theories
|
file |
diff |
annotate
|
| Tue, 07 Sep 2004 16:02:42 +0200 |
oheimb |
integrated Streams with ex/Stream.*; added FOCUS/Fstreams.thy
|
file |
diff |
annotate
|
| Mon, 12 Apr 2004 12:18:48 +0200 |
oheimb |
added Streams.thy (with stream concatenation etc.)
|
file |
diff |
annotate
|
| Thu, 27 Dec 2001 16:44:43 +0100 |
wenzelm |
IMP/document/root.tex;
|
file |
diff |
annotate
|
| Sun, 09 Dec 2001 14:37:42 +0100 |
kleing |
HOLCF/IMP converted to Isar
|
file |
diff |
annotate
|
| Sat, 03 Nov 2001 18:41:13 +0100 |
wenzelm |
converted theory Dnat;
|
file |
diff |
annotate
|
| Sat, 03 Nov 2001 01:38:39 +0100 |
wenzelm |
converted theory Lift;
|
file |
diff |
annotate
|
| Thu, 31 May 2001 16:53:00 +0200 |
oheimb |
added FOCUS including the One-Element Buffer by Manfred Broy
|
file |
diff |
annotate
|
| Tue, 28 Mar 2000 17:33:44 +0200 |
nipkow |
mods because of weak_case_cong -> removed Action.ML twice
|
file |
diff |
annotate
|
| Thu, 22 Apr 1999 12:47:13 +0200 |
mueller |
added ex and Modelcheck
|
file |
diff |
annotate
|
| Wed, 03 Feb 1999 17:32:10 +0100 |
wenzelm |
usedir -r;
|
file |
diff |
annotate
|
| Wed, 02 Dec 1998 16:14:09 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 02 Dec 1998 16:10:49 +0100 |
wenzelm |
IOA-Storage: Memory storage case study.
|
file |
diff |
annotate
|
| Tue, 13 Jan 1998 14:31:09 +0100 |
mueller |
added simulations files to IOA;
|
file |
diff |
annotate
|
| Mon, 12 Jan 1998 17:51:05 +0100 |
mueller |
added further IOA liles;
|
file |
diff |
annotate
|
| Wed, 07 Jan 1998 13:53:42 +0100 |
wenzelm |
improved targets;
|
file |
diff |
annotate
|
| Fri, 19 Dec 1997 10:18:58 +0100 |
wenzelm |
log files;
|
file |
diff |
annotate
|
| Tue, 04 Nov 1997 17:12:13 +0100 |
wenzelm |
HOLCFLogic.ML, contconsts.ML renamed to holcf_logic.ML, cont_consts.ML;
|
file |
diff |
annotate
|
| Tue, 04 Nov 1997 14:40:29 +0100 |
oheimb |
* removed "axioms" and "generated by" section
|
file |
diff |
annotate
|
| Thu, 30 Oct 1997 10:50:04 +0100 |
wenzelm |
added adm.ML;
|
file |
diff |
annotate
|
| Mon, 20 Oct 1997 12:45:51 +0200 |
wenzelm |
removed Dlist;
|
file |
diff |
annotate
|
| Fri, 17 Oct 1997 17:33:22 +0200 |
wenzelm |
removed Classlib;
|
file |
diff |
annotate
|
| Mon, 07 Jul 1997 09:09:21 +0200 |
wenzelm |
eliminated chmod -w;
|
file |
diff |
annotate
|
| Mon, 26 May 1997 13:51:03 +0200 |
slotosch |
removed ccc1
|
file |
diff |
annotate
|
| Sun, 25 May 1997 16:17:09 +0200 |
slotosch |
Eliminated the prediates flat,chfin
|
file |
diff |
annotate
|
| Thu, 15 May 1997 11:35:26 +0200 |
wenzelm |
remove Witness.thy;
|
file |
diff |
annotate
|