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.
fixed Syntax module;
1998-10-20, by wenzelm
split_paired_all.ML;
1998-10-20, by wenzelm
field types: datatype;
1998-10-20, by wenzelm
quiet_mode, message;
1998-10-20, by wenzelm
quiet proofs;
1998-10-20, by wenzelm
fixed Syntax module;
1998-10-20, by wenzelm
Datatype instead of Prod;
1998-10-20, by wenzelm
QUIET_BREADTH_FIRST;
1998-10-20, by wenzelm
no open;
1998-10-20, by wenzelm
no open;
1998-10-20, by wenzelm
no open;
1998-10-20, by wenzelm
simple Env replaced by Symtab;
1998-10-20, by wenzelm
added unvarify(T);
1998-10-20, by wenzelm
Syntax.max_pri;
1998-10-20, by wenzelm
Symtab.foldl;
1998-10-20, by wenzelm
quiet_mode, message;
1998-10-20, by wenzelm
structure Hidden = struct end;
1998-10-20, by wenzelm
hiding private stuff;
1998-10-20, by wenzelm
Symtab.foldl;
1998-10-20, by wenzelm
added foldl, keys;
1998-10-20, by wenzelm
split_paired_all.ML: turn surjective pairing into split rule;
1998-10-20, by wenzelm
updated
1998-10-20, by paulson
updated the MLWorks description
1998-10-20, by paulson
another little bug ;-) and minor changes in TLS.*;
1998-10-19, by mueller
little bug ;-)
1998-10-19, by mueller
added keyword 'and'
1998-10-19, by oheimb
corrected Header
1998-10-19, by oheimb
Addsimps [max_le_iff_conj];
1998-10-19, by nipkow
changed Super_L and Hyper_R to left and right Meta
1998-10-19, by oheimb
layout
1998-10-19, by oheimb
solved conflict by taking newest version;
1998-10-19, by mueller
added Clarify_tac to speed up proofs
1998-10-19, by paulson
moved a theorem
1998-10-19, by paulson
fixed comment
1998-10-19, by paulson
fixed some indenting; changed a VERY slow blast_tac to fast_tac
1998-10-19, by paulson
updated, tuned;
1998-10-18, by wenzelm
added Minho (Portugal);
1998-10-18, by wenzelm
Fixed bug (improper handling of flag flat_names).
1998-10-16, by berghofe
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
less
more
|
(0)
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
+10000
+30000
tip