isabelle: Changelog

haftmann [Tue, 08 Aug 2006 08:18:59 +0200] rev 20348

abandoned equal_list in favor for eq_list

berghofe [Mon, 07 Aug 2006 17:43:51 +0200] rev 20347

Simple ML script for producing Gnuplot files from isatest log files.

webertj [Mon, 07 Aug 2006 03:10:38 +0200] rev 20346

title fixed

wenzelm [Sat, 05 Aug 2006 15:15:07 +0200] rev 20345

updated;

wenzelm [Sat, 05 Aug 2006 14:55:09 +0200] rev 20344

avoid low-level tsig;

wenzelm [Sat, 05 Aug 2006 14:52:58 +0200] rev 20343

reworked read_instantiate -- separate read_insts;

wenzelm [Sat, 05 Aug 2006 14:52:57 +0200] rev 20342

tuned;

wenzelm [Sat, 05 Aug 2006 14:52:55 +0200] rev 20341

removed obsolete sign_of;

wenzelm [Sat, 05 Aug 2006 14:52:53 +0200] rev 20340

Amine Chaieb: experimental generic reflection and reification in HOL;

isatest [Sat, 05 Aug 2006 00:52:17 +0200] rev 20339

use atbroy101 instead of atbroy98 (freezes up)

isabelle