History log of /seL4-l4v-master/isabelle/src/HOL/Corec_Examples/Tests/Stream_Friends.thy
Revision Date Author Comments
# 17bc899d 18-Aug-2017 wenzelm <none@none>

session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
# 845b847d 27-Mar-2016 blanchet <none@none>

commented out for now
# 8265a942 27-Mar-2016 blanchet <none@none>

FIXME
# b4d764fe 27-Mar-2016 blanchet <none@none>

new 'corec' example