Cross Reference: Merge_D.thy
xref
: /
seL4-l4v-master
/
isabelle
/
src
/
HOL
/
Corec_Examples
/
Tests
/
Merge_D.thy
Home
History
Annotate
Raw
Download
only in
/seL4-l4v-master/isabelle/src/HOL/Corec_Examples/Tests/
History log of
/seL4-l4v-master/isabelle/src/HOL/Corec_Examples/Tests/Merge_D.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