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

sdf

This commit is contained in:
Burkhart Wolff 2020-08-28 23:00:27 +02:00 committed by Achim D. Brucker
parent fd532d985a
commit 2321945dc4
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
examples/scholarly_paper/ROOTS
View File

@ -1 +1,2 @@
2018-cicm-isabelle_dof-applications
2020-iFM-CSP