load ../../PLALib/PLACORE/theops
load Ops/modificationops
load Ops/locationops
load Ops/proteinops
load Ops/chemicalops
*** load Ops/geneops


******************************
fmod ALLOPS is
 inc THEOPS .
 inc MODIFICATIONOPS .
 inc LOCATIONOPS .
 inc PROTEINOPS .
 inc CHEMICALOPS .
*** inc GENEOPS .  

endfm
******************************
 load TBrules

******************************
mod ALLRULES is
 inc RULES .
endm
******************************
load model-checker
load TBqq.maude



