Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-28
+28
+50
+100
+300
+1000
+3000
+10000
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.
adapted to 'xxx_{case,rec}' renaming, to new theorem names, and to new variable names in theorems
2014-02-12, by blanchet
adapted theories to 'xxx_case' to 'case_xxx'
2014-02-12, by blanchet
renamed 'nat_{case,rec}' to '{case,rec}_nat'
2014-02-12, by blanchet
renamed '{prod,sum,bool,unit}_case' to 'case_...'
2014-02-12, by blanchet
adapted theories to '{case,rec}_{list,option}' names
2014-02-12, by blanchet
avoid old 'prod.simps' -- better be more specific
2014-02-12, by blanchet
repaired hard-coded constant names
2014-02-12, by blanchet
killed 'rep_compat' option
2014-02-12, by blanchet
made 'ctr_sugar' more friendly to the 'datatype_realizer'
2014-02-12, by blanchet
use names like 'rec_mytype' and 'case_mytype' in old datatype package as well, to avoid a mixture
2014-02-12, by blanchet
use right local theory -- shows up when 'no_discs_sels' is set
2014-02-12, by blanchet
compatibility names
2014-02-12, by blanchet
use new selector support to define 'the', 'hd', 'tl'
2014-02-12, by blanchet
transformed 'option' and 'list' into new-style datatypes (but register them as old-style as well)
2014-02-12, by blanchet
avoid duplicate 'case' definitions by first looking up 'Ctr_Sugar'
2014-02-12, by blanchet
tuned code
2014-02-12, by blanchet
more 'ctr_sugar' modernization
2014-02-12, by blanchet
tuning
2014-02-12, by blanchet
ported predicate compiler to 'ctr_sugar'
2014-02-12, by blanchet
updated docs
2014-02-12, by blanchet
generate 'fundec_cong' attribute for new-style (co)datatypes
2014-02-12, by blanchet
got rid of dynamic scoping the easy way
2014-02-12, by blanchet
removed trivial 'rec' examples for nonrecursive types (I could also have added the 'old.' prefix in front of the constant names)
2014-02-12, by blanchet
more liberal merging of BNFs and constructor sugar
2014-02-12, by blanchet
se 'wrap_free_constructors' to register 'sum' , 'prod', 'unit', 'bool' with their discriminators/selectors
2014-02-12, by blanchet
have the same no-update semantics for 'case' as for 'Ctr_Sugar' and BNF data (this might not be the final word on the matter, but using a consistent policy seems like a good idea)
2014-02-12, by blanchet
Mac OS X Lion (macbroy6) is baseline for portable executables;
2014-02-11, by wenzelm
"no_memory" option for the simplifier trace to bypass memoization
2014-02-11, by Lars Hupel
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-28
+28
+50
+100
+300
+1000
+3000
+10000
tip