RegExpInterface

Isa_DOF

Isa_COL

scholarly_paper

technical_report

ontologies

M_00_Frontmatter

M_01_Introduction

M_02_Background

M_03_GuidedTour

M_04_Document_Ontology

M_05_Proofs_Ontologies

M_06_RefMan

M_07_Implementation

Isabelle_DOF_Manual