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 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip

add lemma cpo_lubI
2008-01-31, by huffman
instances for class discrete_cpo
2008-01-31, by huffman
new lemma cont_discrete_cpo
2008-01-31, by huffman
new discrete_cpo axclass
2008-01-31, by huffman
temporary adjustions
2008-01-31, by haftmann
explicit del_funcs
2008-01-31, by haftmann
proper term_of functions
2008-01-31, by haftmann
avoiding dynamic simpset lookup
2008-01-31, by haftmann
new lemma is_lub_Pair; cleaned up some proofs
2008-01-31, by huffman
commented stuff out
2008-01-30, by nipkow
added multiset comprehension
2008-01-30, by nipkow
idempotent semigroups
2008-01-30, by haftmann
dual orders and dual lattices
2008-01-30, by haftmann
Theorem Inductive.lfp_ordinal_induct generalized to complete lattices
2008-01-30, by haftmann
new term-building combinators
2008-01-29, by huffman
cleaned up evaluation interfaces
2008-01-29, by haftmann
tuned names
2008-01-29, by haftmann
treating division by zero properly
2008-01-29, by haftmann
eliminated escaped white space;
2008-01-28, by wenzelm
basic scanners: produce symbol list instead of imploded string;
2008-01-28, by wenzelm
* Outer syntax: string tokens no longer admit escaped white space;
2008-01-28, by wenzelm
location_of_position: Position.column_of (which counts Isabelle symbols, not characters);
2008-01-28, by wenzelm
added count/counted: improved position handling for token syntax;
2008-01-28, by wenzelm
added column field;
2008-01-28, by wenzelm
T.count/counted: improved position handling for token syntax;
2008-01-28, by wenzelm
added column property;
2008-01-28, by wenzelm
removed redundant repeatd scanner combinator;
2008-01-28, by wenzelm
added ::: / @@@ scanner combinators;
2008-01-28, by wenzelm
Tuned uniqueness proof for recursion combinator.
2008-01-28, by berghofe
Cleaned up simproc code.
2008-01-28, by berghofe

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

isabelle