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.

Burkhart Wolff 4d5fce3f1e older files. Flesh out useful stuff and eliminate the rest if necessary		2019-08-15 13:57:43 +02:00
..
Isabelle_DOF-Manual	older files. Flesh out useful stuff and eliminate the rest if necessary	2019-08-15 13:57:43 +02:00
TR_my_commented_isabelle	Updated Isabelle/DOF repository URL.	2019-08-04 22:47:52 +01:00
ROOTS	Fixed naming inconsistency.	2019-07-22 14:41:29 +01:00