isabelle: Changelog

nipkow [Tue, 09 Jan 2001 15:32:27 +0100] rev 10834

*** empty log message ***

Tue, 09 Jan 2001 15:29:17 +0100 `` -> ` and ``` -> ``

nipkow [Tue, 09 Jan 2001 15:29:17 +0100] rev 10833

`` -> ` and ``` -> ``

nipkow [Tue, 09 Jan 2001 15:22:13 +0100] rev 10832

`` -> and ``` -> ``

wenzelm [Tue, 09 Jan 2001 15:18:07 +0100] rev 10831

replaced \<macron> by \<inverse>;

wenzelm [Tue, 09 Jan 2001 15:17:08 +0100] rev 10830

avoid renaming of params in cases;

wenzelm [Tue, 09 Jan 2001 15:15:28 +0100] rev 10829

split_all operation;

oheimb [Tue, 09 Jan 2001 13:54:44 +0100] rev 10828

improved evaluation judgment syntax; modified Loop rule

wenzelm [Tue, 09 Jan 2001 12:11:56 +0100] rev 10827

syntax (xsymbols);

nipkow [Mon, 08 Jan 2001 12:27:36 +0100] rev 10826

Removed Applyall

paulson [Mon, 08 Jan 2001 11:06:24 +0100] rev 10825

additional pattern allows reduction of fractions to lowest terms

isabelle