isabelle: Changelog

nipkow [Tue, 07 Dec 1999 11:01:48 +0100] rev 8049

Fixed bug in find-functions: list of parameters must be reversed before subsitution.

nipkow [Mon, 06 Dec 1999 14:23:45 +0100] rev 8048

Renamed some vars

nipkow [Thu, 02 Dec 1999 09:09:30 +0100] rev 8047

cosmetic mod.

wenzelm [Wed, 01 Dec 1999 22:38:35 +0100] rev 8046

accommodate current version of rpm;

nipkow [Wed, 01 Dec 1999 18:22:28 +0100] rev 8045

Fixed a problem with returning from the last frame.

paulson [Wed, 01 Dec 1999 11:20:24 +0100] rev 8044

new generalized leads-to theory

paulson [Wed, 01 Dec 1999 11:15:56 +0100] rev 8043

fixed the discrepancy in the ordering of the constructors LESS EQUAL GREATER (for Moscow ML)

paulson [Tue, 30 Nov 1999 17:53:34 +0100] rev 8042

deleted rogue copy of localTo_imp_o_localTo

paulson [Tue, 30 Nov 1999 16:54:10 +0100] rev 8041

working version with new theory ELT

paulson [Tue, 30 Nov 1999 16:51:41 +0100] rev 8040

new theory UNITY/ELT

isabelle