Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-10000
-3000
-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.
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
formalization of vector spaces and algebras over the real numbers
2006-09-12, by huffman
induct method: renamed 'fixing' to 'arbitrary';
2006-09-11, by wenzelm
updated;
2006-09-11, by wenzelm
more rules;
2006-09-11, by wenzelm
hid succ, pred in Numeral.thy
2006-09-11, by haftmann
updated;
2006-09-11, by wenzelm
more rules;
2006-09-11, by wenzelm
tuned;
2006-09-11, by wenzelm
added axclass division_ring (like field without commutativity; includes e.g. quaternions) and generalized some theorems from field to division_ring
2006-09-10, by huffman
cleaned up
2006-09-09, by huffman
less
more
|
(0)
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
+30000
tip