This repository has been archived on 2024-04-22. You can view files and clone it, but cannot push or open issues or pull requests.

Makarius Wenzel 44cae2e631 More formal management of ontologies in Isabelle/ML/Isar with output via Isabelle/Scala exports		2022-12-04 00:09:29 +01:00
..
mini_odo	More formal management of ontologies in Isabelle/ML/Isar with output via Isabelle/Scala exports	2022-12-04 00:09:29 +01:00
ROOTS	Converntion for ROOTS restored.	2022-08-02 15:00:45 +02:00