src/HOL/HoareParallel/RG_Syntax.thy
2007-04-20 haftmann 2007-04-20 reverted to classical syntax for K_record
2007-04-20 haftmann 2007-04-20 tuned syntax: K_record is now an authentic constant
2006-11-07 schirmer 2006-11-07 field-update in records is generalised to take a function on the field rather than the new value.
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2004-12-22 nipkow 2004-12-22 [ .. (] -> [ ..< ]
2002-04-29 prensani 2002-04-29 added abstract;corrected RG_Basic Hoare rule.
2002-03-05 prensani 2002-03-05 New order in the loading of theories (Quote-antiquote right before the OG_Syntax and RG_Syntax respectively)
2002-03-05 prensani 2002-03-05 HoareParallel Theories