History log of /seL4-l4v-master/l4v/isabelle/src/ZF/Coind/Dynamic.thy
Revision Date Author Comments
# 001933f8 06-Mar-2012 paulson <none@none>

mathematical symbols for Isabelle/ZF example theories
# 458a4961 13-Mar-2010 wenzelm <none@none>

removed old CVS Ids;
tuned headers;
# a7060872 17-Jun-2005 haftmann <none@none>

migrated theory headers to new format
# 6c6c8702 25-Dec-2001 paulson <none@none>

conversion to Isar
# 09045852 21-May-2001 paulson <none@none>

X-symbols for ZF
# 49ebaab4 05-Feb-1996 clasohm <none@none>

expanded tabs
# cc52541b 09-Dec-1995 clasohm <none@none>

removed quotes from consts and syntax sections
# da37c2f7 22-Jun-1995 clasohm <none@none>

removed \...\ inside strings
# 8df51977 27-Feb-1995 lcp <none@none>

New example by Jacob Frost, tidied by lcp