src/Sequents/modal.ML
1999-07-27 paulson 1999-07-27 split off modal.ML from provers.ML