isabelle: Changelog

paulson [Wed, 10 Jan 2001 11:12:17 +0100] rev 10847

loads the new theory

paulson [Wed, 10 Jan 2001 11:09:11 +0100] rev 10846

reformatting, and splitting the end of "Primes" to create "Forward"

nipkow [Wed, 10 Jan 2001 11:08:29 +0100] rev 10845

*** empty log message ***

paulson [Wed, 10 Jan 2001 11:07:11 +0100] rev 10844

now using "by" for one-line proofs

paulson [Wed, 10 Jan 2001 11:06:07 +0100] rev 10843

introduction of "by" and a few examples of SOME

paulson [Wed, 10 Jan 2001 11:05:27 +0100] rev 10842

auto update

paulson [Wed, 10 Jan 2001 11:05:13 +0100] rev 10841

new wfrec example

paulson [Wed, 10 Jan 2001 11:00:17 +0100] rev 10840

fixed the treatment of Rules and Sets

nipkow [Wed, 10 Jan 2001 10:40:34 +0100] rev 10839

*** empty log message ***

Wed, 10 Jan 2001 00:15:33 +0100 use \<acute>;

wenzelm [Wed, 10 Jan 2001 00:15:33 +0100] rev 10838

use \<acute>;

isabelle