Metalogical frameworks that extend LF - the Edinburgh Logical Framework. These provide common features - e.g. record types, subtyping, or flexary functions - of logical languages at the meta-level for inheritance in LFX-specified logics.
The logical foundation(al theories) used by MitM projects
just a backup of the jedit extension for my masterproject/masterthesis