[isabelle] Setting up a logic: need instructions.



I am trying to better understand how logics that come with Isabelle are set up, and how to set up my own. Is there any good documentation on this? Explaining the use of TrueProp, and say all the commands in the first 150 lines of a file like IFOL.thy .

Thanks.

Best,
bart
--
http://www.bartk.nl/





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