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

more speaking theory names
2010-06-30, by haftmann
more speaking theory names
2010-06-30, by haftmann
use existing bit type from theory Bit
2010-06-30, by haftmann
split off Cardinality from Numeral_Type
2010-06-30, by haftmann
added literal and typerep instances
2010-06-30, by haftmann
mkdir_leaf -- avoiding surprises with typos in user-given paths
2010-06-30, by haftmann
generalize some lemmas about derivatives
2010-06-30, by huffman
add lemma at_within_interior
2010-06-30, by huffman
generalize more euclidean_space lemmas
2010-06-30, by huffman
minimize dependencies on Numeral_Type
2010-06-30, by huffman
change type of 'dimension' to 'a itself => nat
2010-06-30, by huffman
generalize some euclidean_space lemmas
2010-06-30, by huffman
merged
2010-06-30, by blanchet
rewrote the TPTP problem generation code more or less from scratch;
2010-06-30, by blanchet
rename functions
2010-06-29, by blanchet
merged
2010-06-30, by haftmann
unfold_fun_n
2010-06-30, by haftmann
pervasive tuning of code
2010-06-30, by haftmann
explicit printing function for applify
2010-06-30, by haftmann
fail with low-level exception, not user error;
2010-06-29, by wenzelm
eliminated some unused bindings;
2010-06-29, by wenzelm
recovered some indentation from the depths of time;
2010-06-29, by wenzelm
cleaned by using descending instead of lifting
2010-06-29, by Christian Urban
merged
2010-06-29, by blanchet
move function
2010-06-29, by blanchet
compile
2010-06-29, by blanchet
compile
2010-06-29, by blanchet
more elegant cheating
2010-06-29, by blanchet

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

isabelle