Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-3000
-1000
-300
-100
-50
-30
+30
+50
+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.
changed order of included theories
1998-09-09, by oheimb
added Id_apply
1998-09-09, by oheimb
removed superfluous AddIs thms (were already in)
1998-09-09, by oheimb
renamed sswhen to sscase
1998-09-09, by oheimb
simplified definition of axclass cpo
1998-09-09, by oheimb
added caveat; a real solution would be difficult
1998-09-08, by oheimb
improved spacing
1998-09-08, by oheimb
adapted modifiers: Mod1 -> Mod2, Mod5 -> Mod4
1998-09-08, by oheimb
Got rid of not_Says_to_self and most uses of ~= in definitions and theorems
1998-09-08, by paulson
Got rid of not_Says_to_self; re-organized proofs
1998-09-08, by paulson
new example; tidying
1998-09-07, by paulson
new example
1998-09-07, by paulson
New UNITY theory, the N-S protocol
1998-09-07, by paulson
tidying
1998-09-07, by paulson
Function 'upt'
1998-09-04, by nipkow
Arith: less_diff_conv
1998-09-04, by nipkow
A new approach, using simp_of_act and simp_of_set to activate definitions when
1998-09-03, by paulson
Added function upto to List.
1998-09-02, by nipkow
modified proofs for new constrains_tac and ensures_tac
1998-09-02, by paulson
two new thms
1998-09-02, by paulson
Moved constrains_tac from SubstAx to Constrains.
1998-09-02, by paulson
small simplification to not_Says_to_self
1998-09-02, by paulson
New approach, using a locale
1998-09-01, by paulson
tidied
1998-09-01, by paulson
Replaced Suc_diff_n by Suc_diff_le
1998-09-01, by paulson
new theory Induct/FoldSet
1998-09-01, by paulson
New law card_Un_Int. Removed card_insert from simpset
1998-09-01, by paulson
tidying; moved diff_less to Arith.ML
1998-09-01, by paulson
changed Suc_diff_n to Suc_diff_le, with premise n <= m instead of n < Suc(m)
1998-09-01, by paulson
New lemmas involving Int
1998-09-01, by paulson
less
more
|
(0)
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
+30000
tip