1998-09-23 paulson deleted needless parentheses
1998-09-22 wenzelm tuned Isamode;
1998-09-22 paulson re-organized for the new directory Integ
1998-09-22 paulson new directory for Integers
1998-09-22 paulson deleted erroneous semicolon
1998-09-22 paulson tidying
1998-09-22 paulson tidying
1998-09-22 paulson new directory for Integers
1998-09-22 paulson big tidying of simpsets, etc
1998-09-21 oheimb *** empty log message ***
1998-09-21 oheimb improved addbefore and addSbefore
1998-09-21 oheimb *** empty log message ***
1998-09-21 oheimb added addD2, addE2, addSD2, and addSE2
1998-09-21 oheimb improved indentation
1998-09-21 oheimb added wrapper for bspec
1998-09-21 oheimb added addD2, addE2, addSD2, and addSE2
1998-09-21 oheimb re-added mem and list_all
1998-09-21 oheimb re-added mem and list_all
1998-09-21 oheimb added dependance on HOL
1998-09-21 oheimb added indentation
1998-09-21 oheimb simplified proof
1998-09-21 paulson inserted space in #-1 to prevent confusion with an integer constant
1998-09-21 paulson Unary minus is now #- and not #~
1998-09-21 paulson much renaming and tidying
1998-09-18 paulson leaves subgoal package empty
1998-09-18 paulson improved (but still flawed) treatment of binary arithmetic
1998-09-18 paulson Now defines "int" as a linear order; basic derivations moved to IntDef
1998-09-18 paulson new files in Integ
Loading...
(0) -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 +10000 +30000 tip