2005-06-05 wenzelm DISCGARB_OPTIONS: proper treatment of specific polyml versions;
2005-06-05 wenzelm observe ISABELLE_IGNORE_USER_SETTINGS;
2005-06-05 wenzelm Lucas Dixon;
2005-06-05 wenzelm * ML: replaced File.sysify_path/quote_sysify_path by File.platform_path/shell_path;
2005-06-05 wenzelm #SMLNJ_CYGWIN_RUNTIME=1
2005-06-04 haftmann added README
2005-06-04 haftmann fixed links
2005-06-04 haftmann fixed links
2005-06-04 haftmann fixed links
2005-06-04 haftmann fixed NEWS link
2005-06-04 haftmann added library symlink
2005-06-04 haftmann added library symlink
2005-06-04 haftmann added library symlink
2005-06-04 haftmann adjusted navigation width
2005-06-04 haftmann added shellcmd style
2005-06-04 haftmann added shellcmd style
2005-06-04 haftmann added shellcmd style
2005-06-04 haftmann added shellcmd style
2005-06-04 haftmann re-added binary files
2005-06-04 haftmann (temporary remove, forgotten the -b flag...)
2005-06-04 wenzelm major reorganization and cleanup;
2005-06-04 haftmann added new website
2005-06-04 huffman added explicit dependency on Fix theory
2005-06-04 huffman add keywords fixrec and fixpat for HOLCF fixrec package
2005-06-04 huffman fix imports
2005-06-04 huffman use fixrec_package.ML
2005-06-04 huffman import Fix is unnecessary
2005-06-04 huffman added fixrec_package.ML
2005-06-04 huffman implementation of fixrec package
2005-06-03 huffman shrink session graph so it fits on a page
2005-06-03 huffman Domain package generates match functions for new datatypes, for use with the fixrec package
2005-06-03 huffman add dependency on Fixrec.thy
2005-06-03 huffman add Fixrec.thy
2005-06-03 huffman New theory with lemmas for the fixrec package
2005-06-03 huffman changed variable name in monofun_cfun_arg
2005-06-03 huffman fixed renamed theorems
2005-06-03 huffman fixed some renamed theorems
2005-06-03 huffman renamed defined lemmas
2005-06-03 huffman renamed variable in cont2cont_app
2005-06-03 huffman changed to use new contlubI, etc.
2005-06-03 huffman cleaned up proof of cont_Ifix
2005-06-03 huffman replaced cont with cont_def
2005-06-03 huffman renamed strict, defined, and inject lemmas; renamed sfst2, ssnd2 to sfst_spair, ssnd_spair
2005-06-03 huffman changed to use new contI; renamed strict, defined, and inject lemmas
2005-06-03 huffman changed to use new contlubI, monofun_def; renamed cfst2, csnd2 to cfst_cpair, csnd_cpair; added lemma cpair_strict
2005-06-03 huffman removed dependencies on MF2 lemmas; removed some obsolete theorems; cleaned up many proofs; renamed less_cfun2 to less_cfun_ext
2005-06-03 huffman changed to work with new contI, contlubE, etc.; renamed strictness rules for consistency
2005-06-03 huffman changed to work with new contlubE rule
2005-06-03 huffman renamed FunCpo to Ffun
2005-06-03 huffman renamed to Ffun (full function space)
2005-06-03 huffman renamed theorems monofun, contlub, cont to monofun_def, etc.; changed intro/elim rules for these predicates into more useful rule_format; removed all MF2 lemmas (Pcpo.thy has more general versions now); cleaned up many proofs.
2005-06-03 huffman added theorem ch2ch_lub
2005-06-03 huffman renamed FunCpo theory to Ffun; added theorems ch2ch_fun_rev and app_strict
2005-06-03 huffman added theorems diag_lub and ex_lub
2005-06-03 webertj fixed a typo in the gfp interpreter
2005-06-03 paulson no longer emits literals for type class HOL.type; also minor tidying
2005-06-02 obua Integrates cycle detection in definitions with finalconsts
2005-06-02 wenzelm tuned msgs;
2005-06-02 wenzelm html_syms table;
2005-06-02 wenzelm tuned;
(0) -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip