OpDecl.hs revision 61e38a4f194d3adc66646326c938eb9263a2f39b
e687bd70d6e6c98d82b239e01fef4a60de6739f4Till Mossakowskitree 61e38a4f194d3adc66646326c938eb9263a2f39b:
be408ef9713fbbbaf7bde82618f7d3f204fe806cTill MossakowskiConstraintCASL/
e687bd70d6e6c98d82b239e01fef4a60de6739f4Till MossakowskiModifications/