[isabelle] FOL.thy



The file FOL.thy yields the following error in the line 27:
	use "cladata.ML"
The error message is:
*** exception TERM raised: Stale theory encountered:
*** {ProtoPure, Pure, #, !}
*** At command "use".

Please, could someone tell me what can I do?
Paqui







This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.