/Spacebound-5.thy/1.1.4.1/Thu Jul 28 13:25:21 2005//Tdemo-y4
/Spacebound-77.thy/1.1.6.1/Thu Jul 28 13:25:21 2005//Tdemo-y4
/Spacebound.thy/1.2.6.1/Thu Jul 28 13:25:21 2005//Tdemo-y4
/Timebound-77.thy/1.1.6.1/Thu Jul 28 13:25:21 2005//Tdemo-y4
/Timebound.thy/1.1/Sat Feb  8 21:05:13 2003//Tdemo-y4
D
