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
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
Added quiet_mode flag.
1998-10-16, by berghofe
- Changed structure of name spaces
1998-10-16, by berghofe
tuned MLWorks options;
1998-10-16, by wenzelm
MLWorks 2.0;
1998-10-16, by wenzelm
Changed structure of name spaces for datatypes.
1998-10-16, by berghofe
2. The simplifier now knows a little bit about nat-arithmetic.
1998-10-16, by nipkow
Mods because trans_tac is now part of thge simplifier.
1998-10-16, by nipkow
Mods because of: Installed trans_tac in solver of simpset().
1998-10-16, by nipkow
Installed trans_tac in solver of simpset().
1998-10-16, by nipkow
changed tags from 0, 1 to None, Some() to avoid special treatment of 0
1998-10-16, by paulson
parent is Main
1998-10-16, by paulson
*** empty log message ***
1998-10-16, by nipkow
integer simprocs
1998-10-15, by paulson
Uses overload_1st_set to specify overloading
1998-10-15, by paulson
specifications as sets of programs
1998-10-15, by paulson
Description of new version.
1998-10-14, by nipkow
New many-sorted version.
1998-10-14, by nipkow
See (* FIXME zero_neq_conv *)
1998-10-14, by nipkow
Nat: added zero_neq_conv
1998-10-14, by nipkow
added Int.int;
1998-10-13, by wenzelm
PRIVATE sig parts;
1998-10-13, by wenzelm
length_Suc_conv is no longer given to AddIffs
1998-10-13, by paulson
new theorems
1998-10-13, by paulson
tidied
1998-10-13, by paulson
Addition of HOL/UNITY/Client
1998-10-13, by paulson
new rule
1998-10-13, by paulson
Addition of HOL/UNITY/Client
1998-10-13, by paulson
Unified treatment of type error msgs.
1998-10-09, by nipkow
More pretty breaks in error msgs.
1998-10-09, by nipkow
Added a few breaks in error text.
1998-10-09, by nipkow
new theorem
1998-10-09, by paulson
new theorems
1998-10-09, by paulson
new guarantees laws
1998-10-09, by paulson
renamed Suc_card_Diff or something
1998-10-09, by nipkow
Multisets at last!
1998-10-09, by nipkow
added Induct/Multiset*
1998-10-09, by nipkow
New inductive definition of `card'
1998-10-09, by nipkow
polymorphic versions of nat_neq_iff and nat_neqE
1998-10-09, by paulson
Further improvement of the simplifier.
1998-10-08, by nipkow
Tuned simplifier not to re-normalized already normalized terms.
1998-10-07, by nipkow
tuned rm CVS;
1998-10-07, by wenzelm
runs test
1998-10-07, by nipkow
tidying and renaming
1998-10-07, by paulson
new theorems
1998-10-07, by paulson
tidied
1998-10-07, by paulson
new files UNITY/Comp.{thy,ML}
1998-10-07, by paulson
Merges FoldSet into Finite
1998-10-06, by nipkow
deleted incorrect code that set Goals.proof_timing:=false
1998-10-05, by paulson
Now prove_goalw_cterm never prints timing statistics
1998-10-05, by paulson
MLWorks demands the "op" before $
1998-10-05, by paulson
Finished proofs to end of section 5.1 of Chandy and Sanders
1998-10-05, by paulson
Join now an infix operator
1998-10-05, by paulson
simpler interface for Abel_Cancel
1998-10-05, by paulson
tidied
1998-10-05, by paulson
id <-> Id
1998-10-02, by nipkow
added Real to BasisLibrary
1998-10-02, by paulson
new file Provers/Arith/abel_cancel.ML
1998-10-02, by paulson
new files Provers/Arith/abel_cancel.ML and Real/simproc.ML
1998-10-02, by paulson
tidying
1998-10-02, by paulson
white border -- disabled;
1998-10-01, by wenzelm
less
more
|
(0)
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
+10000
+30000
tip