doc-src/TutorialI/Rules/Blast.thy
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Wed, 10 Jan 2001 11:07:11 +0100 paulson now using "by" for one-line proofs
less more (0) -2 tip