History log of /seL4-l4v-10.1.1/isabelle/src/HOL/UNITY/Simple/Channel.thy
Revision Date Author Comments
# 35f7dccd 23-Feb-2016 nipkow <none@none>

more canonical names
# 335fd006 10-Sep-2011 wenzelm <none@none>

misc tuning and clarification;
# 9b4853bb 23-Apr-2011 wenzelm <none@none>

modernized specifications;
# deac04eb 22-Jul-2010 wenzelm <none@none>

updated some headers;
# baea5702 01-Mar-2010 haftmann <none@none>

replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
# 3a22d7a5 03-Jan-2006 paulson <none@none>

added explicit paths to required theories
# a7060872 17-Jun-2005 haftmann <none@none>

migrated theory headers to new format
# 681aa5e4 05-Feb-2003 paulson <none@none>

more tidying
# 4f0c87b6 24-Jan-2003 paulson <none@none>

Partial conversion of UNITY to Isar new-style theories
# 3da61775 21-Feb-2002 wenzelm <none@none>

removed theory Option;
# 35842404 05-Mar-2001 paulson <none@none>

reorganization of HOL/UNITY, moving examples to subdirectories Simple and Comp