isabelle: Changelog

paulson [Mon, 19 Jul 1999 15:24:35 +0200] rev 7031

getting rid of qed_goal

paulson [Mon, 19 Jul 1999 15:19:11 +0200] rev 7030

getting rid of qed_goal

paulson [Mon, 19 Jul 1999 15:18:16 +0200] rev 7029

new division laws taking advantage of (m div 0) = 0 and (m mod 0) = m

nipkow [Sun, 18 Jul 1999 11:06:08 +0200] rev 7028

Modifid length_tl

wenzelm [Fri, 16 Jul 1999 22:27:16 +0200] rev 7027

adapted to dest_keywords, dest_parsers;

wenzelm [Fri, 16 Jul 1999 22:26:44 +0200] rev 7026

separate command tokens;

wenzelm [Fri, 16 Jul 1999 22:25:07 +0200] rev 7025

tuned dest_lexicon;

wenzelm [Fri, 16 Jul 1999 22:24:42 +0200] rev 7024

tuned;

wenzelm [Fri, 16 Jul 1999 22:23:26 +0200] rev 7023

removed break;

wenzelm [Fri, 16 Jul 1999 22:22:59 +0200] rev 7022

removed BREAK, ROLLBACK;

isabelle