src/HOL/Hoare/Hoare.ML
Fri, 08 Mar 1996 13:11:09 +0100 clasohm added constdefs section
Tue, 30 Jan 1996 15:24:36 +0100 clasohm expanded tabs
Fri, 17 Nov 1995 09:04:10 +0100 nipkow New directory.
less more (0) tip