Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary

shortlog

changelog
 graph 
tags

bookmarks

branches

files

gz

help
less
more

(0)
10000
3000
1000
300
100
60
+60
+100
+300
+1000
+3000
+10000
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScriptenabled browsers.
Definitions and some lemmas for reflexive orderings.
20080729, by ballarin
Lemmas added
20080729, by ballarin
New theory on divisibility.
20080729, by ballarin
Renamed theorems;
20080729, by ballarin
New theorems on summation.
20080729, by ballarin
Unit_inv_l, Unit_inv_r made [simp].
20080729, by ballarin
New theory on divisibility;
20080729, by ballarin
Unit_inv_l, Unit_inv_r made [simp];
20080729, by ballarin
Haskell now living in the RealWorld
20080729, by haftmann
corrected Pure dependency
20080729, by haftmann
added removeAll
20080729, by nipkow
tuned; explicit export of element accessors
20080729, by haftmann
PureThy: dropped note_thmss_qualified, dropped _i suffix
20080729, by haftmann
some steps towards explicit class target for canonical interpretation
20080729, by haftmann
declare
20080729, by haftmann
*** empty log message ***
20080728, by nipkow
simplified a proof
20080727, by urbanc
tuned function name
20080726, by haftmann
tuned bootstrap order
20080726, by haftmann
subclass now also works for subclasses with empty specificaton
20080725, by haftmann
dropped PureThy.note; added PureThy.add_thm
20080725, by haftmann
added class preorder
20080725, by haftmann
dropped locale (open)
20080725, by haftmann
added explicit root theory; some tuning
20080725, by haftmann
tuned
20080725, by haftmann
dropped locale (open)
20080725, by haftmann
(re)added simp rules for (_ + _) div/mod _
20080721, by haftmann
(re)added simp rules for (_ + _) div/mod _
20080721, by haftmann
added explicit purge_data
20080721, by haftmann
added code generation
20080721, by haftmann
fixed code generator setup
20080721, by haftmann
(adjusted)
20080721, by haftmann
Tuned and corrected ideal_tac for algebra.
20080721, by chaieb
Theorems divides_le, ind_euclid, bezout_lemma, bezout_add, bezout, bezout_add_strong, gcd_unique,gcd_eq, bezout_gcd, bezout_gcd_strong, gcd_mult_distrib, gcd_bezout to GCD.thy
20080721, by chaieb
Tuned and simplified proofs; Rules added to presburger's and algebra's context; moved Bezout theorems from Primes.thy
20080721, by chaieb
Tuned and simplified proofs
20080721, by chaieb
Added theorems zmod_eq_dvd_iff and nat_mod_eq_iff previously in Pocklington.thy  relevant for algebra
20080721, by chaieb
Relevant rules added to algebra's context
20080721, by chaieb
renamed item to span, renamed contructors;
20080720, by wenzelm
adapted ThyEdit.span;
20080720, by wenzelm
maintain token range;
20080720, by wenzelm
tty loop: do not report status;
20080720, by wenzelm
added type range;
20080720, by wenzelm
renamed command span markup;
20080720, by wenzelm
SideKickParsedData: minimal content;
20080720, by wenzelm
(adjusted)
20080720, by haftmann
(adjusted)
20080720, by haftmann
added verification framework for the HeapMonad and quicksort as example for this framework
20080719, by bulwahn
build jedit plugin only if jedit is available;
20080719, by wenzelm
misc tuning;
20080718, by wenzelm
more class instantiations
20080718, by haftmann
refined code generator setup for rational numbers; more simplification rules for rational numbers
20080718, by haftmann
moved op dvd to theory Ring_and_Field; generalized a couple of lemmas
20080718, by haftmann
fixed Scala path;
20080718, by wenzelm
tuned build order;
20080717, by wenzelm
proper purge_tmp;
20080717, by wenzelm
tuned message;
20080717, by wenzelm
tuned line breaks (NB: generated text is inserted here);
20080717, by wenzelm
proper usage message;
20080717, by wenzelm
make Isabelle source distribution (via Mercurial);
20080717, by wenzelm
less
more

(0)
10000
3000
1000
300
100
60
+60
+100
+300
+1000
+3000
+10000
+30000
tip