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 JavaScript-enabled browsers.
cleanup, mark old (<1994) deleted files as dead
2003-04-05, by kleing
cleanup, mark old (<1994) deleted files as dead
2003-04-05, by kleing
cleanup, mark old (<1994) deleted files as dead
2003-04-05, by kleing
cleanup, mark old (<1994) deleted files as dead
2003-04-05, by kleing
removed since 1994 or earlier
2003-04-05, by kleing
Fixed bug in eta_long.
2003-04-04, by berghofe
type_of_G now applies type substitution before decomposing type.
2003-04-04, by berghofe
Made empty a translation rather than a constant.
2003-04-01, by nipkow
Fixed Coset.thy (proved theorem factorgroup_is_group).
2003-04-01, by ballarin
more comments and tweaks
2003-03-31, by paulson
tidied
2003-03-31, by paulson
Margin for pretty-printing is now a mutable reference.
2003-03-29, by berghofe
Proofs for section 4.5.3
2003-03-26, by paulson
Added show_brackets to settings menu.
2003-03-25, by berghofe
Re-structured some proofs in order to get rid of rule_format attribute.
2003-03-25, by berghofe
New theorems split_div' and mod_div_equality'.
2003-03-25, by berghofe
Presburger arithmetic
2003-03-25, by berghofe
Added examples for Presburger arithmetic.
2003-03-25, by berghofe
Added decision procedure for Presburger arithmetic.
2003-03-25, by berghofe
Added Presburger theory.
2003-03-25, by berghofe
Added hook for presburger arithmetic decision procedure.
2003-03-25, by berghofe
New decision procedure for Presburger arithmetic.
2003-03-25, by berghofe
*** empty log message ***
2003-03-23, by nipkow
More on progress sets
2003-03-21, by paulson
quadratic reciprocity files
2003-03-21, by paulson
Gauss, UNITY, ZF
2003-03-20, by paulson
Gauss's law of quadratic reciprocity by Avigad, Gray and Kramer
2003-03-20, by paulson
moved Exponent, Coset, Sylow from GroupTheory to Algebra, converting them
2003-03-18, by paulson
toggled show_main_goal
2003-03-18, by nipkow
*** empty log message ***
2003-03-18, by nipkow
just a few mods to a few thms
2003-03-17, by nipkow
More "progress set" material
2003-03-17, by paulson
moved one proof, added another
2003-03-17, by paulson
Bugs fixed and operators finprod and finsum.
2003-03-14, by ballarin
more about list_all2
2003-03-14, by kleing
fix for changes in HOL/Hoare/
2003-03-14, by kleing
Proved the main lemma on progress sets
2003-03-14, by paulson
new UN/INT simprules
2003-03-14, by paulson
split_name no longer uses Sign.string_of_typ to encode types, since
2003-03-13, by berghofe
*** empty log message ***
2003-03-11, by nipkow
*** empty log message ***
2003-03-11, by nipkow
*** empty log message ***
2003-03-11, by nipkow
addsplits / delsplits no longer ignore type of constant.
2003-03-11, by berghofe
First distributed version of Group and Ring theory.
2003-03-10, by ballarin
New theory ProgressSets. Definition of closure sets
2003-03-10, by paulson
spelling
2003-03-10, by paulson
new UNITY examples theory
2003-03-06, by paulson
new logical equivalences
2003-03-06, by paulson
new simprule for int (nat n)
2003-03-06, by paulson
link to devel snapshot
2003-03-06, by kleing
obsolete
2003-03-06, by kleing
new examples theory
2003-03-05, by paulson
get cvs to change modified time for session.tex
2003-03-02, by kleing
typo
2003-03-01, by kleing
added exercises
2003-03-01, by kleing
added Exercises
2003-03-01, by kleing
keep a copy of generated files in repository
2003-03-01, by kleing
keep a copy of generated files in repository
2003-03-01, by kleing
generate nightly devel snapshot
2003-02-28, by isatest
case distinction on host for makefile flags
2003-02-28, by isatest
less
more
|
(0)
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
+10000
+30000
tip