isabelle: Changelog

paulson [Thu, 11 Jan 2001 12:12:01 +0100] rev 10867

lcp's suggestions for CTL

nipkow [Thu, 11 Jan 2001 11:47:57 +0100] rev 10866

*** empty log message ***

Thu, 11 Jan 2001 11:37:03 +0100 a new label

paulson [Thu, 11 Jan 2001 11:37:03 +0100] rev 10865

a new label

paulson [Thu, 11 Jan 2001 11:35:39 +0100] rev 10864

revisions corresponding to the new version of sets.tex

nipkow [Wed, 10 Jan 2001 20:41:14 +0100] rev 10863

Added <cdot> syntax for continuous application $.

wenzelm [Wed, 10 Jan 2001 20:21:11 +0100] rev 10862

isatool unsymbolize;

wenzelm [Wed, 10 Jan 2001 20:20:10 +0100] rev 10861

updated;

wenzelm [Wed, 10 Jan 2001 20:19:56 +0100] rev 10860

tuned \DOT, \DDOT;

wenzelm [Wed, 10 Jan 2001 20:19:34 +0100] rev 10859

added \<wrong> symbol;

wenzelm [Wed, 10 Jan 2001 20:18:55 +0100] rev 10858

tuned;

isabelle