Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-10000
-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
.
The revision graph only works with JavaScript-enabled browsers.
made SML/NJ happy;
2006-09-14, by wenzelm
added exists_type;
2006-09-13, by wenzelm
renamed NameSpace.drop_base to NameSpace.qualifier;
2006-09-13, by wenzelm
Updated keyword file
2006-09-13, by krauss
Removed debugging code imports...
2006-09-13, by krauss
Added the "theory_const" option. Only it is OFF because it's often harmful!
2006-09-13, by paulson
Extended the blacklist with higher-order theorems. Restructured. Added checks to
2006-09-13, by paulson
bug fix to abstractions: free variables in theorem can be abstracted over.
2006-09-13, by paulson
Tweaks to is_fol_term, the first-order test. We don't count "=" as a connective
2006-09-13, by paulson
Major update to function package, including new syntax and the (only theoretical)
2006-09-13, by krauss
added instance rat :: recpower
2006-09-13, by huffman
more on theorems;
2006-09-12, by wenzelm
tuned;
2006-09-12, by wenzelm
more on terms;
2006-09-12, by wenzelm
no_syntax norm -- clash with Real/RealVector.thy;
2006-09-12, by wenzelm
simplify some proofs, remove obsolete realpow_divide
2006-09-12, by huffman
realpow_divide -> power_divide
2006-09-12, by huffman
remove extra dependency
2006-09-12, by huffman
more on terms;
2006-09-12, by wenzelm
Efficient term substitution -- avoids copying.
2006-09-12, by wenzelm
ctyp: maintain maxidx;
2006-09-12, by wenzelm
removed obsolete aconvs (use eq_list aconv);
2006-09-12, by wenzelm
tuned eq_list;
2006-09-12, by wenzelm
moved term subst functions to TermSubst;
2006-09-12, by wenzelm
intr/elim: use constant complexity thanks to tuned Thm.instantiate/implies_elim;
2006-09-12, by wenzelm
added Pure/term_subst.ML;
2006-09-12, by wenzelm
added Gentzen:1935;
2006-09-12, by wenzelm
import RealVector
2006-09-12, by huffman
less
more
|
(0)
-10000
-3000
-1000
-300
-100
-50
-28
+28
+50
+100
+300
+1000
+3000
+10000
+30000
tip