isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

reflecting changes to Option.ML, List.{thy|ML}, mainly list_all
1998-09-09, by oheimb
AddIffs[not_None_eq];
1998-09-09, by oheimb
AddSDs[override_SomeD];
1998-09-09, by oheimb
changed constants mem and list_all to mere translations
1998-09-09, by oheimb
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

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

isabelle