[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 .
This archive was generated by a fusion of
Pipermail (Mailman edition) and