isabelle: Changelog

paulson [Thu, 27 Feb 2003 18:21:42 +0100] rev 13836

restored some deleted lemmas

ballarin [Thu, 27 Feb 2003 15:12:29 +0100] rev 13835

Change to meta simplifier: congruence rules may now have frees as head of term.

kleing [Wed, 26 Feb 2003 14:26:18 +0100] rev 13834

== -> =

paulson [Wed, 26 Feb 2003 13:16:07 +0100] rev 13833

zprime_def fixes by Jeremy Avigad

paulson [Wed, 26 Feb 2003 10:48:00 +0100] rev 13832

completed proofs for programs consisting of a single assignment

paulson [Wed, 26 Feb 2003 10:44:54 +0100] rev 13831

new lemma

paulson [Wed, 26 Feb 2003 10:44:16 +0100] rev 13830

some x-symbols and some new lemmas

nipkow [Tue, 25 Feb 2003 19:08:15 +0100] rev 13829

*** empty log message ***

Tue, 25 Feb 2003 18:49:23 +0100 added simp_depth_limit

nipkow [Tue, 25 Feb 2003 18:49:23 +0100] rev 13828

added simp_depth_limit

berghofe [Tue, 25 Feb 2003 15:27:01 +0100] rev 13827

Documented prf / full_prf commands and antiquotations.

isabelle