Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
src/HOL/Predicate_Compile.thy
2018-02-15
wenzelm
more symbols;
file
|
diff
|
annotate
2016-07-11
wenzelm
tuned;
file
|
diff
|
annotate
2016-02-23
nipkow
more canonical names
file
|
diff
|
annotate
2015-07-18
wenzelm
isabelle update_cartouches;
file
|
diff
|
annotate
2014-11-02
wenzelm
modernized header uniformly as section;
file
|
diff
|
annotate
2014-10-29
wenzelm
modernized setup;
file
|
diff
|
annotate
2014-02-17
wenzelm
more informative error;
file
|
diff
|
annotate
2013-05-16
Andreas Lochbihler
setup for set membership as a predicate for code_pred
file
|
diff
|
annotate
2013-02-14
haftmann
reform of predicate compiler / quickcheck theories:
file
|
diff
|
annotate
2012-11-12
haftmann
tuned import order
file
|
diff
|
annotate
2012-08-22
wenzelm
prefer ML_file over old uses;
file
|
diff
|
annotate
2012-03-15
wenzelm
declare command keywords via theory header, including strict checking outside Pure;
file
|
diff
|
annotate
2012-02-24
haftmann
moved predicate relations and conversion rules between set and predicate relations from Predicate.thy to Relation.thy; moved Predicate.thy upwards in theory hierarchy
file
|
diff
|
annotate
2012-02-24
haftmann
given up disfruitful branch
file
|
diff
|
annotate
2012-02-23
haftmann
moved predicate relations and conversion rules between set and predicate relations from Predicate.thy to Relation.thy; moved Predicate.thy upwards in theory hierarchy
file
|
diff
|
annotate
2011-11-11
bulwahn
adding CPS compilation to predicate compiler;
file
|
diff
|
annotate
2010-10-21
bulwahn
splitting large core file into core_data, mode_inference and predicate_compile_proof
file
|
diff
|
annotate
2010-03-31
bulwahn
putting compilation setup of predicate compiler in a separate file
file
|
diff
|
annotate
2010-03-29
bulwahn
adding specialisation of predicates to the predicate compiler
file
|
diff
|
annotate
2010-03-29
bulwahn
adopting Predicate_Compile
file
|
diff
|
annotate
2010-03-22
wenzelm
recovered header;
file
|
diff
|
annotate
2010-03-22
bulwahn
removed unused Predicate_Compile_Set
file
|
diff
|
annotate
2010-03-22
bulwahn
reviving the classical depth-limited computation in the predicate compiler
file
|
diff
|
annotate
2010-01-20
bulwahn
refactoring the predicate compiler; adding theories for Sequences; adding retrieval to Spec_Rules; adding timing to Quickcheck
file
|
diff
|
annotate
2009-10-27
wenzelm
proper headers;
file
|
diff
|
annotate
2009-10-27
bulwahn
including the predicate compiler in HOL-Main; added RandomPredicate monad to Quickcheck
file
|
diff
|
annotate
less
more
(0)
tip