Structured.hs revision 5957aa4a78c524b971d2275c42c3a925f30ff2a9
1a38107941725211e7c3f051f7a8f5e12199f03acmaedermodule Structured where
e9458b1a7a19a63aa4c179f9ab20f4d50681c168Jens Elknerimport Grothendieck
53bd0c89aa4743dc41a6394db5a90717c1ca4517Liam O'Reillydata SPEC = Basic_spec G_basic_spec -- unstructured specifications
98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu Prodescu | Intra_Translation SPEC G_symbol_mapping_list -- renaming within a logic
53bd0c89aa4743dc41a6394db5a90717c1ca4517Liam O'Reilly | Inter_Translation SPEC AnyTranslation -- translation between logics
53bd0c89aa4743dc41a6394db5a90717c1ca4517Liam O'Reilly | Extension SPEC SPEC -- hierarchical extension or union
53bd0c89aa4743dc41a6394db5a90717c1ca4517Liam O'Reilly deriving Show
53bd0c89aa4743dc41a6394db5a90717c1ca4517Liam O'Reillydata Env = Basic_env G_theory
33bdce26495121cdbce30331ef90a1969126a840Liam O'Reilly | Intra_Translation_env G_theory Env G_morphism
53bd0c89aa4743dc41a6394db5a90717c1ca4517Liam O'Reilly | Inter_Translation_env G_theory Env AnyTranslation
53bd0c89aa4743dc41a6394db5a90717c1ca4517Liam O'Reilly | Extension_env G_theory Env Env