forked from Isabelle_DOF/Isabelle_DOF
Converntion for ROOTS restored.
This commit is contained in:
parent
5779c729a4
commit
07a9c10001
|
@ -1,2 +1 @@
|
|||
mini_odo
|
||||
../../.afp/afp-2021-12-28/thys/Physical_Quantities/
|
Loading…
Reference in New Issue