Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-10000
-3000
-1000
-300
-100
-56
+56
+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 bug
2006-09-20, by haftmann
Removed "induct set" attribute from total induction rules
2006-09-20, by krauss
removed debug
2006-09-20, by haftmann
Fixed error in pattern splitting algorithm
2006-09-20, by krauss
change section to subsection
2006-09-20, by huffman
add header
2006-09-20, by huffman
renamed axclass_xxxx axclasses;
2006-09-20, by wenzelm
tuned;
2006-09-19, by wenzelm
added standard;
2006-09-19, by wenzelm
added name_classrel/arities/arity;
2006-09-19, by wenzelm
pretty_full_theory: suppress internal entities by default;
2006-09-19, by wenzelm
Logic.name_classrel/arities;
2006-09-19, by wenzelm
revert to previous version;
2006-09-19, by wenzelm
added General/susp.ML;
2006-09-19, by wenzelm
removed duplicate arities;
2006-09-19, by wenzelm
sko/abs: Name.internal prevents choking of print_theory;
2006-09-19, by wenzelm
tuned method setup;
2006-09-19, by wenzelm
tuned proofs;
2006-09-19, by wenzelm
'print_theory': bang option for full verbosity;
2006-09-19, by wenzelm
* Pure: 'print_theory' now suppresses entities with internal name;
2006-09-19, by wenzelm
tuned;
2006-09-19, by wenzelm
simple html output;
2006-09-19, by wenzelm
timespan: 100 days;
2006-09-19, by wenzelm
superceded by isatest-statistics;
2006-09-19, by wenzelm
tuned;
2006-09-19, by wenzelm
target dir;
2006-09-19, by wenzelm
Standard statistics.
2006-09-19, by wenzelm
time: include year;
2006-09-19, by wenzelm
Produce statistics from isatest session logs.
2006-09-19, by wenzelm
moved Import/susp.ML to Pure/General;
2006-09-19, by wenzelm
renamed axclass_xxxx axclasses
2006-09-19, by obua
removed diagnostic messages
2006-09-19, by haftmann
Operational Equality
2006-09-19, by haftmann
this file contains a compile-challenge suggested by Adam Chlipala;
2006-09-19, by urbanc
tuned
2006-09-19, by urbanc
added auxiliary lemma for code generation 2
2006-09-19, by haftmann
removed
2006-09-19, by haftmann
moved part of normalization oracle here
2006-09-19, by haftmann
classical arity syntax
2006-09-19, by haftmann
added codegen_data
2006-09-19, by haftmann
moved base setup for evaluation oracle hier
2006-09-19, by haftmann
added OperationalEquality.thy
2006-09-19, by haftmann
code generation 2 adjustments
2006-09-19, by haftmann
(void)
2006-09-19, by haftmann
improved numeral handling for nbe
2006-09-19, by haftmann
added suspensions in Pure
2006-09-19, by haftmann
added some stuff for code generation 2
2006-09-19, by haftmann
dropped error-prone code generation 2 for wfrec
2006-09-19, by haftmann
text cleanup
2006-09-19, by haftmann
introduced syntactic classes; moved some setup to Pure/codegen, Pure/nbe or OperationalEquality.thy
2006-09-19, by haftmann
explicit divmod algorithm for code generation
2006-09-19, by haftmann
added operational equality
2006-09-19, by haftmann
added section on code generation 2
2006-09-19, by haftmann
code_gen now peek keyword
2006-09-19, by haftmann
cleanupdiff
2006-09-19, by haftmann
added classes real_div_algebra and real_field; added lemmas
2006-09-19, by huffman
less
more
|
(0)
-10000
-3000
-1000
-300
-100
-56
+56
+100
+300
+1000
+3000
+10000
+30000
tip