src/HOL/Isar_examples/NatSum.thy
Fri, 30 Jul 1999 13:44:29 +0200 wenzelm renamed 'same' to '-';
Fri, 09 Jul 1999 16:44:55 +0200 wenzelm removed qed_with;
Mon, 28 Jun 1999 23:05:19 +0200 wenzelm updated;
Fri, 28 May 1999 13:30:59 +0200 wenzelm tuned formal comments;
Fri, 30 Apr 1999 18:25:10 +0200 wenzelm tuned;
Tue, 27 Apr 1999 15:10:36 +0200 wenzelm added Isar_examples/NatSum.thy;
less more (0) tip