isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

ZF/ZF/ex1_functional: moved to FOL/ROOT
1994-10-31, by lcp
Miniscope conversoin; example of formula rewriting
1994-10-31, by lcp
ZF/OrderArith/thin: deleted as obsolete
1994-10-31, by lcp
added final newline
1994-10-31, by lcp
added header files; deleted commented-out code
1994-10-31, by lcp
Prepared the code for preservation of bound var names during rewriting. Still
1994-10-28, by nipkow
removed superfluous type_intrs in datatype com.
1994-10-26, by nipkow
simplified syntax of infix continuous functiuons
1994-10-26, by nipkow
strip_quotes now exported;
1994-10-25, by wenzelm
minor change of occs_const in dest_defn;
1994-10-25, by wenzelm
added require_thy;
1994-10-25, by wenzelm
HOL,ZF/IMP/Com.thy: tightening precedences to eliminate syntactic ambiguities.
1994-10-24, by lcp
ZF/intr_elim/elim_rls: now includes Pair_inject, since coinductive
1994-10-21, by lcp
Pure/Unify/IMPROVING "CLEANING" OF FLEX-FLEX PAIRS: Old code would refuse
1994-10-21, by lcp
LK/hardquant/37: deleted call to flexflex_tac: no longer needed
1994-10-21, by lcp
LCF/LCF.thy: the constant VOID had mixfix syntax "()" !! Added quotes.
1994-10-21, by lcp
FOLP/IFOLP.thy: tightening precedences to eliminate syntactic ambiguities.
1994-10-21, by lcp
ZF/Fixedpt/coinduct: modified proof to suppress deep unification
1994-10-19, by lcp
new comments explaining abandoned change
1994-10-19, by lcp
LCF/fix/lfp_is_FIX: modified proof to suppress deep unification
1994-10-19, by lcp
FOL/ex/cla/58: slightly shorter proof
1994-10-19, by lcp
trivial update to reference
1994-10-19, by lcp
CCL/Gfp/coinduct2, coinduct3: modified proofs to suppress deep unification
1994-10-19, by lcp
add_defs: improved error messages;
1994-10-12, by wenzelm
removed old comment;
1994-10-12, by wenzelm
remove _explode, _implode and trfuns;
1994-10-12, by wenzelm
prove_subclass, prove_arity now exported;
1994-10-12, by wenzelm
added is_equals: term -> bool;
1994-10-12, by wenzelm
type_args, opt_witness now exported;
1994-10-12, by wenzelm
AxClass no longer open;
1994-10-12, by wenzelm

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

isabelle