author nipkow
Tue, 22 Mar 2011 12:49:07 +0100
changeset 42059 83f3dc509068
parent 36926 90bb12cf8e36
child 47320 928cb8b35e6e
permissions -rw-r--r--
fixed a printing problem for bounded quantifiers and bounded set operators in the case of tuples

Intro Ref System Logics HOL ZF Inductive TutorialI IsarOverview IsarRef IsarImplementation Locales LaTeXsugar Classes Codegen Functions Nitpick Main Sledgehammer