Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

Reverted ROOTS to setup without nested paths.

This commit is contained in:
Achim D. Brucker 2018-12-06 18:45:12 +01:00
parent 1f50068373
commit b904b1dabf
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
ROOTS
View File

@ -1,3 +1,3 @@
AFP-contribs/Regular-Sets
AFP-contribs/Functional-Automata
AFP-contribs
AFP-contribs
examples