Schema definitions not visible via "Import"

abella-prover / abella

An interactive theorem prover based on lambda-tree syntax

https://abella-prover.org/

GNU General Public License v3.0

89 stars 18 forks source link

Closed lambdacalculator closed 8 years ago

lambdacalculator commented 8 years ago

It seems that schema definitions in thm files are not visible to other thm files that Import them.