Fixed typo.

This commit is contained in:
Achim D. Brucker 2023-05-15 13:03:52 +02:00
parent 2ee0bc5074
commit d225a3253c
1 changed files with 1 additions and 1 deletions

View File

@ -120,7 +120,7 @@ in a subdirectory:
* [Isabelle_DOF-Unit-Tests](./Isabelle_DOF-Unit-Tests/): This session includes
various tests for the Isabelle/DOF system, partly depending on the ontologies
provided by the ``Isabelle_DOF-Ontologies`` session.
* [Isabelle_DOF-Example-Extra](./Isabelle_DOF-Examples-Extra/): This directory
* [Isabelle_DOF-Examples-Extra](./Isabelle_DOF-Examples-Extra/): This directory
contains additional example documents written using the Isabelle/DOF systems,
each of which is defined in an own subdirectory.
* [Isabelle_DOF-Proofs](./Isabelle_DOF-Proofs/): This session provides the