src/Modal/modal0.thy
1993-09-16 clasohm Initial revision
less more (0) tip