History log of /seL4-l4v-master/l4v/isabelle/src/HOL/Corec_Examples/Paper_Examples.thy
Revision Date Author Comments
# 85b3e948 11-Nov-2017 haftmann <none@none>

dedicated definition for coprimality

--HG--
extra : rebase_source : 891168c98ce62efae6b7e72c7d3365fea12b33ae
# 17bc899d 18-Aug-2017 wenzelm <none@none>

session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
# 4b78a5bd 21-Apr-2017 wenzelm <none@none>

tuned imports;
# e0677719 13-Jul-2016 blanchet <none@none>

tuning
# 60f1b92f 06-Jul-2016 blanchet <none@none>

updated example
# 8e430470 06-Jul-2016 blanchet <none@none>

updated examples
# b30014d7 27-Mar-2016 blanchet <none@none>

another 'corec' example