isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

semi fix of piping-quit peoblem (should work on systems with *real* sh);
1997-02-14, by wenzelm
globally unset ENV, BASH_ENV;
1997-02-14, by wenzelm
Made troublesome simplifier warning dependent on trace_simp.
1997-02-14, by nipkow
Modified and shortened adm_disj lemmas.
1997-02-14, by nipkow
Deleted a useless definition
1997-02-14, by paulson
Added optimization: do nothing for empty list
1997-02-14, by paulson
A bit more pattern-matching in eta_contract
1997-02-14, by paulson
Tidying and a corrected comment
1997-02-14, by paulson
Added a new challenge problem
1997-02-14, by paulson
Updated documentation of IFOL_ss
1997-02-14, by paulson
Documented thin_tac
1997-02-14, by paulson
Strengthened warnings concerning topthm(), etc.
1997-02-14, by paulson
Updated a reference
1997-02-14, by paulson
New class "order" and accompanying changes.
1997-02-12, by nipkow
New class "order" and accompanying changes.
1997-02-12, by nipkow
TFL: missing -q option!
1997-02-12, by wenzelm
tuned names: partial order, linear order;
1997-02-12, by wenzelm
tuned startup;
1997-02-10, by wenzelm
fixed comment;
1997-02-10, by wenzelm
Renamed structure Int (intuitionistic prover) to IntPr to prevent clash
1997-02-10, by paulson
Renamed structure Int (intuitionistic prover) to IntPr
1997-02-10, by paulson
Renamed structure Int (intuitionistic prover) to IntPr to prevent clash
1997-02-10, by paulson
removed ISABELLE_INTERFACE_OPTIONS;
1997-02-07, by wenzelm
tuned;
1997-02-07, by wenzelm
tuned;
1997-02-07, by wenzelm
Modified proofs due to added triv_forall_equality.
1997-02-07, by nipkow
Modified proofs because of added "triv_forall_equality".
1997-02-07, by nipkow
Added "triv_forall_equality" to HOL_ss.
1997-02-07, by nipkow
functionality added to getsettings;
1997-02-06, by wenzelm
removed getplatform, ISABELLE_OUTPUT_DIR;
1997-02-06, by wenzelm

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

isabelle