isabelle: Changelog

wenzelm [Wed, 18 Aug 1999 17:31:53 +0200] rev 7259

tuned messages;

wenzelm [Wed, 18 Aug 1999 17:15:51 +0200] rev 7258

tuned;

berghofe [Wed, 18 Aug 1999 16:19:53 +0200] rev 7257

Renamed sum_case to basic_sum_case.

berghofe [Wed, 18 Aug 1999 16:19:01 +0200] rev 7256

Eliminated some infixes.

berghofe [Wed, 18 Aug 1999 16:12:20 +0200] rev 7255

Eliminated some infixes.

berghofe [Wed, 18 Aug 1999 16:11:14 +0200] rev 7254

Renamed sum_case to basic_sum_case and removed translations for sum_case to avoid conflicts with the constant sum_case introduced in Datatype.thy.

wenzelm [Wed, 18 Aug 1999 16:05:27 +0200] rev 7253

tuned;

wenzelm [Wed, 18 Aug 1999 16:04:00 +0200] rev 7252

replaced 'ProofGeneral' by 'Proof General';

berghofe [Wed, 18 Aug 1999 15:40:45 +0200] rev 7251

Modified section about generation of theory browsing information. Documented new -P option.

paulson [Wed, 18 Aug 1999 12:23:10 +0200] rev 7250

new version from Konrad with "lazy" (deferred) definitons

isabelle