Wed, 09 Aug 2000 20:46:58 +0200 | wenzelm | fixed mk_cases_i: TRYALL InductMethod.simp_case_tac; | changeset | files |
Wed, 09 Aug 2000 20:43:03 +0200 | wenzelm | thms "atomize"; | changeset | files |
Wed, 09 Aug 2000 17:10:41 +0200 | bauerg | tuned; | changeset | files |
Wed, 09 Aug 2000 11:53:00 +0200 | kleing | tuned | changeset | files |
Tue, 08 Aug 2000 16:57:44 +0200 | wenzelm | token translation: enclose "\\mbox{" "}"; | changeset | files |
Tue, 08 Aug 2000 16:39:34 +0200 | oheimb | added Example | changeset | files |
Tue, 08 Aug 2000 14:15:24 +0200 | oheimb | moved Hoare_example to Examples; other minor improvements | changeset | files |