Hi John, >Then every theorem would become |- TarskiModel((===),Between) ==> P >instead of just |- P.
Couldn't you set up things in a way that all the theorems would have the form "TarskiModel((===),Between) |- P"? I think I would find that more attractive. Freek ------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/ _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
