berghofe [Wed, 25 Feb 2004 15:17:24 +0100] rev 14412
find_tname now handles parameter renaming properly ("as they are printed").
paulson [Tue, 24 Feb 2004 16:38:51 +0100] rev 14411
converted Hyperreal/Log and Hyperreal/HLog to Isar scripts
paulson [Tue, 24 Feb 2004 11:15:59 +0100] rev 14410
converted NSCA to Isar script
paulson [Mon, 23 Feb 2004 17:33:38 +0100] rev 14409
converted HOL/Complex/NSInduct to Isar script
paulson [Mon, 23 Feb 2004 16:35:46 +0100] rev 14408
converted HOL/Complex/NSCA to Isar script
paulson [Sat, 21 Feb 2004 20:05:16 +0100] rev 14407
conversion of Complex/CStar to Isar script
paulson [Sat, 21 Feb 2004 15:54:32 +0100] rev 14406
conversion of Complex/CSeries to Isar script
paulson [Sat, 21 Feb 2004 11:43:39 +0100] rev 14405
conversion of Complex/CLim to Isar script
nipkow [Sat, 21 Feb 2004 08:43:08 +0100] rev 14404
Transitive_Closure: added consumes and case_names attributes
Isar: fixed parameter name handling in simulatneous induction
which I had not done properly 2 years ago.
paulson [Fri, 20 Feb 2004 14:22:51 +0100] rev 14403
new "where" section