2009-11-05 |
wenzelm |
more accurate cleanup;
|
file |
diff |
annotate
|
2009-07-21 |
haftmann |
obey captialized directory names convention
|
file |
diff |
annotate
|
2009-06-23 |
haftmann |
renamed ioa to automaton
|
file |
diff |
annotate
|
2009-06-21 |
haftmann |
discontinued ancient tradition to suffix certain ML module names with "_package"
|
file |
diff |
annotate
|
2009-04-22 |
huffman |
add HOLCF/ex/Domain_ex.thy, with example uses of the domain package
|
file |
diff |
annotate
|
2009-02-19 |
huffman |
add Powerdomain_ex.thy
|
file |
diff |
annotate
|
2009-01-15 |
huffman |
rename Dsum.thy to Sum_Cpo.thy
|
file |
diff |
annotate
|
2009-01-15 |
huffman |
change to simpler, more extensible continuity simproc
|
file |
diff |
annotate
|
2008-12-16 |
huffman |
new theory Dsum: cpo of disjoint sum
|
file |
diff |
annotate
|
2008-10-04 |
wenzelm |
replaced ISATOOL by ISABELLE_TOOL;
|
file |
diff |
annotate
|
2008-07-01 |
huffman |
put file dependencies on separate lines
|
file |
diff |
annotate
|
2008-06-30 |
huffman |
add file dependencies
|
file |
diff |
annotate
|
2008-06-30 |
huffman |
remove unused Cset.thy
|
file |
diff |
annotate
|
2008-06-20 |
huffman |
replace SetPcpo.thy with Cset.thy
|
file |
diff |
annotate
|
2008-03-27 |
wenzelm |
updated dependencies;
|
file |
diff |
annotate
|
2007-10-23 |
nipkow |
changed back from ~=0 to >0
|
file |
diff |
annotate
|
2007-05-31 |
wenzelm |
moved HOLCF tools to canonical place;
|
file |
diff |
annotate
|
2007-04-26 |
wenzelm |
removed legacy ML files;
|
file |
diff |
annotate
|
2006-09-28 |
wenzelm |
removed obsolete HOLCF.ML;
|
file |
diff |
annotate
|
2006-06-02 |
wenzelm |
removed obsolete ML files;
|
file |
diff |
annotate
|
2006-06-01 |
huffman |
removed legacy ML scripts
|
file |
diff |
annotate
|
2006-05-28 |
wenzelm |
removed legacy ML scripts;
|
file |
diff |
annotate
|
2006-05-28 |
wenzelm |
removed legacy ML scripts;
|
file |
diff |
annotate
|
2006-05-27 |
wenzelm |
removed legacy ML scripts;
|
file |
diff |
annotate
|
2006-05-27 |
wenzelm |
removed legacy ML scripts;
|
file |
diff |
annotate
|
2006-05-27 |
wenzelm |
removed legacy ML scripts;
|
file |
diff |
annotate
|
2006-05-03 |
huffman |
update to reflect changes in inverts/injects lemmas
|
file |
diff |
annotate
|
2005-11-02 |
huffman |
removed ex/loeckx.ML
|
file |
diff |
annotate
|
2005-10-19 |
wenzelm |
removed obsolete domain/interface.ML, IOA/meta_theory/ioa_package.ML;
|
file |
diff |
annotate
|
2005-09-03 |
wenzelm |
removed IOA/Storage/Impl.ML, IOA/Storage/Action.ML;
|
file |
diff |
annotate
|
2005-07-05 |
huffman |
add pcpodef files
|
file |
diff |
annotate
|
2005-06-23 |
huffman |
add new file to test fixrec package
|
file |
diff |
annotate
|
2005-06-14 |
huffman |
moved continuity simproc to a separate file
|
file |
diff |
annotate
|
2005-06-04 |
huffman |
added fixrec_package.ML
|
file |
diff |
annotate
|
2005-06-03 |
huffman |
add Fixrec.thy
|
file |
diff |
annotate
|
2005-06-03 |
huffman |
renamed FunCpo to Ffun
|
file |
diff |
annotate
|
2005-05-24 |
paulson |
cannot have files named adm.ML and Adm.ML on Macs, so deleted one and renamed the other
|
file |
diff |
annotate
|
2005-05-24 |
huffman |
New theory for defining subtypes of pcpos
|
file |
diff |
annotate
|
2005-05-24 |
huffman |
Moved admissibility definitions and lemmas to a separate theory
|
file |
diff |
annotate
|
2005-04-15 |
huffman |
speed improvements for the domain package
|
file |
diff |
annotate
|
2005-03-07 |
huffman |
Added dependency document/root.tex, and -g true option to isatool; document generation should work now.
|
file |
diff |
annotate
|
2005-03-04 |
huffman |
converted to new-style theories, and combined numbered files
|
file |
diff |
annotate
|
2005-03-01 |
huffman |
eliminated deps for removed files
|
file |
diff |
annotate
|
2004-12-14 |
paulson |
tidied; removed references to HOL theories
|
file |
diff |
annotate
|
2004-09-07 |
oheimb |
integrated Streams with ex/Stream.*; added FOCUS/Fstreams.thy
|
file |
diff |
annotate
|
2004-04-12 |
oheimb |
added Streams.thy (with stream concatenation etc.)
|
file |
diff |
annotate
|
2001-12-27 |
wenzelm |
IMP/document/root.tex;
|
file |
diff |
annotate
|
2001-12-09 |
kleing |
HOLCF/IMP converted to Isar
|
file |
diff |
annotate
|
2001-11-03 |
wenzelm |
converted theory Dnat;
|
file |
diff |
annotate
|
2001-11-03 |
wenzelm |
converted theory Lift;
|
file |
diff |
annotate
|
2001-05-31 |
oheimb |
added FOCUS including the One-Element Buffer by Manfred Broy
|
file |
diff |
annotate
|
2000-03-28 |
nipkow |
mods because of weak_case_cong -> removed Action.ML twice
|
file |
diff |
annotate
|
1999-04-22 |
mueller |
added ex and Modelcheck
|
file |
diff |
annotate
|
1999-02-03 |
wenzelm |
usedir -r;
|
file |
diff |
annotate
|
1998-12-02 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
1998-12-02 |
wenzelm |
IOA-Storage: Memory storage case study.
|
file |
diff |
annotate
|
1998-01-13 |
mueller |
added simulations files to IOA;
|
file |
diff |
annotate
|
1998-01-12 |
mueller |
added further IOA liles;
|
file |
diff |
annotate
|
1998-01-07 |
wenzelm |
improved targets;
|
file |
diff |
annotate
|
1997-12-19 |
wenzelm |
log files;
|
file |
diff |
annotate
|