History log of /seL4-l4v-master/isabelle/src/HOL/Corec_Examples/Tests/Merge_C.thy
Revision Date Author Comments
# c478d6ef 04-Apr-2016 wenzelm <none@none>

tuned headers;
# 3c52cd34 27-Mar-2016 blanchet <none@none>

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

added 'corec' examples and tests