isabelle: Changelog

kleing [Tue, 28 Aug 2007 00:18:10 +0200] rev 24440

add parallel sessions for atbroy99 and macbroy6

wenzelm [Mon, 27 Aug 2007 17:34:55 +0200] rev 24439

HOL_USEDIR_OPTIONS: no special -M setting (now works with multithreaded);

nipkow [Mon, 27 Aug 2007 14:19:38 +0200] rev 24438

Added infinite_descent

haftmann [Mon, 27 Aug 2007 11:34:19 +0200] rev 24437

updated keywords

haftmann [Mon, 27 Aug 2007 11:34:18 +0200] rev 24436

added code_props

haftmann [Mon, 27 Aug 2007 11:34:17 +0200] rev 24435

introduces params_of_sort

haftmann [Mon, 27 Aug 2007 11:34:16 +0200] rev 24434

added simple definition scheme

haftmann [Mon, 27 Aug 2007 11:34:14 +0200] rev 24433

added explicit equation for equality of nested environments

haftmann [Mon, 27 Aug 2007 08:31:01 +0200] rev 24432

circumvented infix problem

nipkow [Sun, 26 Aug 2007 21:28:08 +0200] rev 24431

tuned linear arith (once again) with ring_distribs

isabelle