src/HOL/Import/HOL4/Compatibility.thy
Sat, 03 Mar 2012 21:42:41 +0100 haftmann formal infrastructure for import sessions
less more (0) tip