isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -10000 -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 +10000 +30000 tip

renamed FunCpo to Ffun
2005-06-03, by huffman
renamed to Ffun (full function space)
2005-06-03, by 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, by huffman
added theorem ch2ch_lub
2005-06-03, by huffman
renamed FunCpo theory to Ffun; added theorems ch2ch_fun_rev and app_strict
2005-06-03, by huffman
added theorems diag_lub and ex_lub
2005-06-03, by huffman
fixed a typo in the gfp interpreter
2005-06-03, by webertj
no longer emits literals for type class HOL.type; also minor tidying
2005-06-03, by paulson
Integrates cycle detection in definitions with finalconsts
2005-06-03, by obua
tuned msgs;
2005-06-02, by wenzelm
html_syms table;
2005-06-02, by wenzelm
tuned;
2005-06-02, by wenzelm
Output.no_warnings;
2005-06-02, by wenzelm
tuned comment;
2005-06-02, by wenzelm
exists: made non-strict;
2005-06-02, by wenzelm
added no_warnings;
2005-06-02, by wenzelm
Sign.restore_naming;
2005-06-02, by wenzelm
replaced set_naming by restore_naming;
2005-06-02, by wenzelm
replaced foldl_string by fold_string;
2005-06-02, by wenzelm
renamed HOL_PROOF_OBJECTS to HOL_USEDIR_OPTIONS;
2005-06-02, by wenzelm
renamed HOL_PROOF_OBJECTS to HOL_USEDIR_OPTIONS;
2005-06-02, by wenzelm
Added time lime (60 secs) to Spass calls.
2005-06-02, by quigley
renamed "constrains" to "safety" to avoid keyword clash
2005-06-02, by paulson
renamed "constrains" to "safety" to avoid keyword clash
2005-06-02, by paulson
swap declaration of thm/axm names to accomodate change in name space
2005-06-02, by wenzelm
tuned;
2005-06-02, by wenzelm
Theory.restore_naming;
2005-06-02, by wenzelm
header;
2005-06-02, by wenzelm

less more | (0) -10000 -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle