isabelle: Changelog

kleing [Fri, 24 Oct 2003 01:44:12 +0200] rev 14246

added sydney unsw mirror. contact: me (gerwin.klein@nicta.com.au)

paulson [Wed, 22 Oct 2003 10:53:12 +0200] rev 14245

auto update

paulson [Wed, 22 Oct 2003 10:52:36 +0200] rev 14244

InductiveInvariant_examples illustrates advanced recursive function definitions

paulson [Wed, 22 Oct 2003 10:51:30 +0200] rev 14243

recursion

skalberg [Tue, 21 Oct 2003 11:09:23 +0200] rev 14242

Added access to the mk_rews field (and friends).

paulson [Fri, 17 Oct 2003 11:04:36 +0200] rev 14241

Prevent recdef from looping when the inductio rule is simplified

paulson [Fri, 17 Oct 2003 11:03:48 +0200] rev 14240

improved tracing

paulson [Thu, 16 Oct 2003 12:13:43 +0200] rev 14239

partial conversion to Isar scripts

paulson [Thu, 16 Oct 2003 10:32:36 +0200] rev 14238

improved presentation

paulson [Thu, 16 Oct 2003 10:32:06 +0200] rev 14237

line-breaks; rewording

isabelle