adapt to only check ROOT for directories in thys (aftermath of Isabelle/a9bbf075f4319e920a22a1c0a5b763b6575f2089);
Description
Description
Details
Details
- Provenance
Fabian Huch <huch@in.tum.de> Authored on - Parents
- rAFP9e2b85708f73: updated entry for Universal Turing Machines
- Branches
- Unknown
- Tags