**** assumes PLA model, including model-checker loaded

load lib-util
load lib-meta   **** defines MY-META-ALL
load lib-imaude              **** defines RFE
mod RFE is
  inc REWRITE .
  inc FILEMANAGER .
  inc G2D .
  inc SEQUENCER .
  inc LISTENER .
endm

load PLACORE/load-pla-core                **** to get the latest

load JSON/load-maude2json

***(
mod INTERACTIVE-PLA is

  inc PLA-KB .
  inc PLA-DISH .
  inc PLA-GRAPH .
  inc PLA-COMPARE .
  inc PLA-INFOX .
  inc PLA-EXPORT .
  inc PLA-IMPORT .
)
mod IPLA-JSON is inc INTERACTIVE-PLA . inc PLA-JSON . endm

loop init .
