src/HOL/UNITY/Simple/Channel.thy
2006-01-03 paulson 2006-01-03 added explicit paths to required theories
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2003-02-05 paulson 2003-02-05 more tidying
2003-01-24 paulson 2003-01-24 Partial conversion of UNITY to Isar new-style theories
2002-02-21 wenzelm 2002-02-21 removed theory Option;
2001-03-05 paulson 2001-03-05 reorganization of HOL/UNITY, moving examples to subdirectories Simple and Comp