isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

tuned Isamode;
1998-09-22, by wenzelm
re-organized for the new directory Integ
1998-09-22, by paulson
new directory for Integers
1998-09-22, by paulson
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
new files in Integ
1998-09-18, by paulson
new theorem less_Suc_eq_le and le_simps
1998-09-18, by paulson
updated comments
1998-09-18, by paulson
tidying
1998-09-18, by paulson
theorem le_diff_conv2; tidying and expandshort
1998-09-18, by paulson
Pruning of parameters and True assumptions
1998-09-18, by paulson
Suppress timing messages for theorems proved in theory sections
1998-09-18, by paulson
improved error messages
1998-09-18, by paulson
deleted redundant quantifiers
1998-09-16, by paulson
From Compl(A) to -A
1998-09-15, by paulson
revised treatment of integers
1998-09-15, by paulson
From Compl(A) to -A
1998-09-15, by paulson
Function 'step' is already defined in NA.thy.
1998-09-15, by nipkow
tidied
1998-09-15, by paulson
commented out duplicate proof
1998-09-14, by paulson
simpler proof
1998-09-14, by paulson
new theorem le_diff_conv
1998-09-14, by paulson
Extra steps at end to make it run faster
1998-09-11, by paulson
added clarsimp_tac and Clarsimp_tac
1998-09-11, by oheimb
tidied using locales
1998-09-11, by paulson
Less deterministic reconstruction: now more robust but perhaps slower
1998-09-11, by paulson
tidied
1998-09-11, by paulson
fixed PROOF FAILED
1998-09-11, by paulson
fixed comment
1998-09-11, by paulson
stabilized proof of card_mono
1998-09-11, by oheimb
corrected indentation
1998-09-11, by oheimb
equals0D
1998-09-10, by paulson

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

isabelle