src/HOL/Hoare/hoareAbort.ML
Tue, 11 Mar 2003 15:04:24 +0100 nipkow *** empty log message ***
less more (0) tip