src/HOL/UNITY/Comp.thy
1999-08-26 paulson 1999-08-26 changed "guar" back to "guarantees" (sorry) and FIXED ITS PRECEDENCE
1999-06-13 paulson 1999-06-13 guarantees -> guar
1999-05-17 paulson 1999-05-17 "component" now an infix
1999-03-01 paulson 1999-03-01 removed the infernal States, eqStates, compatible, etc.
1999-01-19 paulson 1999-01-19 updated comments
1998-12-03 paulson 1998-12-03 Addition of the States component; parts of Comp not working
1998-10-05 paulson 1998-10-05 Finished proofs to end of section 5.1 of Chandy and Sanders
1998-10-01 paulson 1998-10-01 composition theory