testboard: Changelog

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

paulson [Wed, 18 Aug 1999 11:49:46 +0200] rev 7249

tidied some proofs

paulson [Wed, 18 Aug 1999 10:54:44 +0200] rev 7248

new primitive rule permute_prems to underlie defer_tac and rotate_prems

paulson [Wed, 18 Aug 1999 10:54:03 +0200] rev 7247

freeze_thaw does nothing if no variables

testboard