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

mathematical symbols for Isabelle/ZF example theories
# 079cde2d 17-Oct-2009 wenzelm <none@none>

eliminated hard tabulators, guessing at each author's individual tab-width;
tuned headers;
# e92443e4 24-Jul-2008 haftmann <none@none>

dropped locale (open)
# e7a16ceb 07-Oct-2007 wenzelm <none@none>

modernized specifications;
removed legacy ML bindings;
# a7060872 17-Jun-2005 haftmann <none@none>

migrated theory headers to new format
# 78231b68 10-Jul-2002 paulson <none@none>

Fixed quantified variable name preservation for ball and bex (bounded quants)
Requires tweaking of other scripts. Also routine tidying.
# afb97ade 21-Jan-2002 paulson <none@none>

lexical tidying
# 956fb34f 16-Jan-2002 paulson <none@none>

Isar version of AC
# 17fc8a4f 21-May-2001 paulson <none@none>

X-symbols for set theory
# 9914b377 10-Sep-1998 paulson <none@none>

new file AC/WO1_WO7.thy