isabelle: Changelog

chaieb [Mon, 21 Jul 2008 13:36:44 +0200] rev 27667

Added theorems zmod_eq_dvd_iff and nat_mod_eq_iff previously in Pocklington.thy --- relevant for algebra

chaieb [Mon, 21 Jul 2008 13:36:39 +0200] rev 27666

Relevant rules added to algebra's context

wenzelm [Sun, 20 Jul 2008 23:07:03 +0200] rev 27665

renamed item to span, renamed contructors; added span_range;

wenzelm [Sun, 20 Jul 2008 23:07:01 +0200] rev 27664

adapted ThyEdit.span;

wenzelm [Sun, 20 Jul 2008 23:06:59 +0200] rev 27663

maintain token range;

wenzelm [Sun, 20 Jul 2008 23:06:58 +0200] rev 27662

tty loop: do not report status;

wenzelm [Sun, 20 Jul 2008 23:06:55 +0200] rev 27661

added type range;

wenzelm [Sun, 20 Jul 2008 23:06:53 +0200] rev 27660

renamed command span markup;

wenzelm [Sun, 20 Jul 2008 20:23:49 +0200] rev 27659

SideKickParsedData: minimal content;

haftmann [Sun, 20 Jul 2008 11:19:08 +0200] rev 27658

(adjusted)

isabelle