History log of /seL4-l4v-master/isabelle/src/HOL/Corec_Examples/Tests/Misc_Mono.thy
Revision Date Author Comments
# a7ccdf43 10-Jan-2018 nipkow <none@none>

ran isabelle update_op on all sources
# 17bc899d 18-Aug-2017 wenzelm <none@none>

session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
# 14001a0d 22-Jul-2016 wenzelm <none@none>

tuned proofs -- avoid unstructured calculation;
# 3c52cd34 27-Mar-2016 blanchet <none@none>

tuned examples
# 5259eb8e 21-Mar-2016 blanchet <none@none>

added 'corec' examples and tests