forked from Isabelle_DOF/Isabelle_DOF
Concptual repaired.
This commit is contained in:
parent
774a5f20e8
commit
7eeaecf48f
|
@ -1,4 +1,4 @@
|
||||||
theory conceptual
|
theory Conceptual
|
||||||
imports "../Isa_DOF"
|
imports "../Isa_DOF"
|
||||||
begin
|
begin
|
||||||
|
|
||||||
|
|
Reference in New Issue