On 08/26/2011 07:02 PM, Brian Huffman wrote:
I didn't suggest the idea merely for your benefit. I think this approach would give Isabelle a nicer, simpler logical foundation.
What is this logical foundation of Isabelle that you have in mind? AFAIK I am the only trying to provide a semantics of any kind, so please don't think me rude. _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev