Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-1000
-300
-100
-50
-30
+30
+50
+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.
An extra call to blast_tac (illustrating a need for type instantiation)
1997-04-15, by paulson
Now puts basic rewrites for lappend & lmap into the simpset
1997-04-15, by paulson
Removed "AddSDs [Scons_inject];" because
1997-04-15, by paulson
Moved expand_case_tac from Auth/Message.ML to simpdata.ML
1997-04-15, by paulson
no longer includes ~/.emacs;
1997-04-14, by wenzelm
fixed file name;
1997-04-13, by wenzelm
GENERATED TEXT;
1997-04-13, by wenzelm
tuned format;
1997-04-13, by wenzelm
GENERATED TEXT;
1997-04-13, by wenzelm
GENERATED TEXT;
1997-04-13, by wenzelm
fixencoding - fix references to isabelle font encoding;
1997-04-13, by wenzelm
tuned comments;
1997-04-12, by wenzelm
misc improvement;
1997-04-12, by wenzelm
Setup GNU Emacs for Isabelle environment.
1997-04-12, by wenzelm
tuned;
1997-04-12, by wenzelm
fixed { ... } shell syntax to accomodate bash 2.x;
1997-04-11, by wenzelm
Yet more fast_tac->blast_tac, and other tidying
1997-04-11, by paulson
tuned error msg;
1997-04-11, by wenzelm
Updated discussion and references for inductive definitions
1997-04-10, by paulson
Deleted stupid proof at the end not needed anywhere.
1997-04-10, by nipkow
Mod because of "Turned Addsimps into AddIffs for datatype laws."
1997-04-10, by nipkow
Turned Addsimps into AddIffs for datatype laws.
1997-04-10, by nipkow
Changed some fast_tac to blast_tac
1997-04-10, by paulson
Added trace output and replaced fast_tac set_cs by Fast_tac.
1997-04-10, by nipkow
replaced 'addwrapper' and 'addWrapper' by correct 'compwrapper' and 'compWrapper'
1997-04-09, by oheimb
Thorough update.
1997-04-09, by nipkow
Using Blast_tac
1997-04-09, by paulson
Control over excessive branching by applying a log2 penalty
1997-04-09, by paulson
Explicit depth bounds seem necessary
1997-04-09, by paulson
Using Blast_tac
1997-04-09, by paulson
less
more
|
(0)
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
+30000
tip