src/HOL/HoareParallel/RG_Syntax.thy
Wed, 19 Dec 2007 16:32:14 +0100 schirmer accomodate to replacement of K_record by %x.c
Fri, 20 Apr 2007 17:58:25 +0200 haftmann reverted to classical syntax for K_record
Fri, 20 Apr 2007 11:21:39 +0200 haftmann tuned syntax: K_record is now an authentic constant
less more (0) -3 tip