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