Mon, 17 Mar 2008 18:37:00 +0100 | wenzelm | removed duplicate lemmas; | file | diff | annotate |
Wed, 29 Aug 2007 16:46:08 +0200 | wenzelm | added Hoare/hoare_tac.ML (code from Hoare/Hoare.thy, also required in Isar_examples/Hoare.thy); | file | diff | annotate |