src/HOL/UNITY/PPROD.ML
1999-05-17 paulson 1999-05-17 "component" now an infix
1999-05-04 paulson 1999-05-04 new definitions of Co and LeadsTo
1999-04-29 paulson 1999-04-29 made many specification operators infix
1999-04-20 paulson 1999-04-20 tidied
1999-03-03 paulson 1999-03-03 UNITY fully working at last...
1999-03-01 paulson 1999-03-01 removed the infernal States, eqStates, compatible, etc.
1998-12-07 paulson 1998-12-07 towards handling sharing of variables
1998-12-03 paulson 1998-12-03 Addition of the States component; parts of Comp not working
1998-11-25 paulson 1998-11-25 guarantees laws
1998-11-16 paulson 1998-11-16 new theory PPROD