History log of /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/PortableIsabelle.sml
Revision Date Author Comments
# 7bcd2532 22-Dec-2014 wenzelm <none@none>

more elementary Multithreading.synchronized;
# 0ea14585 15-Sep-2010 blanchet <none@none>

put Isabelle-specifics in a "PortableIsabelle" file maintained by us;
as recommended by Joe Hurd