isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

merged
2011-08-09, by haftmann
move legacy candiates to bottom; marked candidates for default simp rules
2011-08-08, by haftmann
merged
2011-08-08, by haftmann
dropped lemmas (Inf|Sup)_(singleton|binary)
2011-08-08, by haftmann
dropped lemmas (Inf|Sup)_(singleton|binary)
2011-08-08, by haftmann
rename type 'a net to 'a filter, following standard mathematical terminology
2011-08-08, by huffman
HOLCF: fix warnings about unreferenced identifiers
2011-08-08, by huffman
remove duplicate lemmas
2011-08-08, by huffman
merged
2011-08-08, by huffman
fix perfect_space instance proof for finite cartesian product (cf. 5b970711fb39)
2011-08-08, by huffman
generalize sequence lemmas
2011-08-08, by huffman
generalize more lemmas about compactness
2011-08-08, by huffman
generalize compactness equivalence lemmas
2011-08-08, by huffman
lemma bolzano_weierstrass_imp_compact
2011-08-08, by huffman
class perfect_space inherits from topological_space;
2011-08-08, by huffman
merged
2011-08-08, by wenzelm
import constant folding theory into IMP
2011-08-08, by kleing
make syntax ambiguity warnings a config option
2011-08-06, by kleing
add lemmas INF_image, SUP_image
2011-08-08, by huffman
declare {INF,SUP}_empty [simp]
2011-08-08, by huffman
rename Pair_fst_snd_eq to prod_eq_iff (keeping old name too)
2011-08-08, by huffman
standard theorem naming scheme: complex_eqI, complex_eq_iff
2011-08-08, by huffman
moved division ring stuff from Rings.thy to Fields.thy
2011-08-08, by huffman
Library/Product_ord: wellorder instance for products
2011-08-08, by huffman
modernized file proof_checker.ML;
2011-08-08, by wenzelm
tuned thm_of_proof: build lookup table within closure;
2011-08-08, by wenzelm
added Reconstruct.proof_of convenience;
2011-08-08, by wenzelm
ship message in one piece;
2011-08-08, by wenzelm
misc tuning -- eliminated old-fashioned rep_thm;
2011-08-08, by wenzelm
modernized strcture Proof_Checker;
2011-08-08, by wenzelm
less ambitious use of AttributedString, for proper caret painting within \<^sup>\<foobar>;
2011-08-08, by wenzelm
updated imports;
2011-08-08, by wenzelm
proper signature;
2011-08-08, by wenzelm
made SML/NJ happy;
2011-08-08, by wenzelm
slightly more uniform messages;
2011-08-08, by wenzelm
avoid pointless completion of illegal control commands;
2011-08-08, by wenzelm
removed old expand_fun_eq
2011-08-08, by nipkow
fixed index entry
2011-08-08, by nipkow
removed old recdef and types usage
2011-08-08, by nipkow
merged
2011-08-08, by nipkow
extended user-level attribute case_names with names for case hypotheses
2011-08-06, by nipkow
infrastructure for attaching names to hypothesis in cases; realised via the same tag mechanism as case names
2011-08-01, by nipkow
workaround for Java 1.7 where javax.swing.JComboBox<E> is generic;
2011-08-07, by wenzelm
updated version information;
2011-08-07, by wenzelm
fixed document;
2011-08-07, by wenzelm
tuned order: pushing INF and SUP to Inf and Sup
2011-08-05, by haftmann
tuned order: pushing INF and SUP to Inf and Sup
2011-08-05, by haftmann
generalized lemmas to complete lattices
2011-08-05, by haftmann
merged
2011-08-05, by Andreas Lochbihler
replace old SML code generator by new code generator in MicroJava/J
2011-08-05, by Andreas Lochbihler
new state syntax with less conflicts
2011-08-04, by kleing
replace old SML code generator by new code generator in MicroJava/JVM and /BV
2011-08-05, by Andreas Lochbihler
merged
2011-08-05, by haftmann
more fine-granular instantiation
2011-08-04, by haftmann
solving duality problem for complete_distrib_lattice; tuned
2011-08-04, by haftmann
merged
2011-08-04, by berghofe
Pending FDL types may now be associated with Isabelle types as well.
2011-08-04, by berghofe
tuned orthography
2011-08-04, by haftmann
avoid yet unknown fact antiquotation
2011-08-04, by haftmann
NEWS
2011-08-04, by haftmann

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

isabelle