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

deleted erroneous semicolon
1998-09-22, by paulson
tidying
1998-09-22, by paulson
tidying
1998-09-22, by paulson
new directory for Integers
1998-09-22, by paulson
big tidying of simpsets, etc
1998-09-22, by paulson
*** empty log message ***
1998-09-21, by oheimb
improved addbefore and addSbefore
1998-09-21, by oheimb
*** empty log message ***
1998-09-21, by oheimb
added addD2, addE2, addSD2, and addSE2
1998-09-21, by oheimb
improved indentation
1998-09-21, by oheimb
added wrapper for bspec
1998-09-21, by oheimb
added addD2, addE2, addSD2, and addSE2
1998-09-21, by oheimb
re-added mem and list_all
1998-09-21, by oheimb
re-added mem and list_all
1998-09-21, by oheimb
added dependance on HOL
1998-09-21, by oheimb
added indentation
1998-09-21, by oheimb
simplified proof
1998-09-21, by oheimb
inserted space in #-1 to prevent confusion with an integer constant
1998-09-21, by paulson
Unary minus is now #- and not #~
1998-09-21, by paulson
much renaming and tidying
1998-09-21, by paulson
leaves subgoal package empty
1998-09-18, by paulson
improved (but still flawed) treatment of binary arithmetic
1998-09-18, by paulson
Now defines "int" as a linear order; basic derivations moved to IntDef
1998-09-18, by paulson
new files in Integ
1998-09-18, by paulson
simpler definition of zmagnitude, and new thms for it
1998-09-18, by paulson
stronger version of theI2
1998-09-18, by paulson
tidied
1998-09-18, by paulson
new theorem less_imp_Suc_add
1998-09-18, by paulson
new files in Integ
1998-09-18, by paulson
new theorem less_Suc_eq_le
1998-09-18, by paulson

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

isabelle