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
..
build.props	Prefer constants in Scala, to make this independent from component context	2022-12-01 14:15:17 +01:00
settings	Tuned	2022-12-01 14:22:32 +01:00