isabelle: Changelog

wenzelm [Mon, 10 Aug 1998 17:04:28 +0200] rev 5289

fixed comment;

wenzelm [Mon, 10 Aug 1998 17:03:54 +0200] rev 5288

tuned;

wenzelm [Mon, 10 Aug 1998 17:01:40 +0200] rev 5287

??id syntax for text variables;

wenzelm [Mon, 10 Aug 1998 17:01:02 +0200] rev 5286

dest_binding, dest_skolem;

wenzelm [Mon, 10 Aug 1998 16:57:07 +0200] rev 5285

val single: 'a -> 'a list; val suffix: string -> string -> string; val unsuffix: string -> string -> string;

paulson [Mon, 10 Aug 1998 11:51:09 +0200] rev 5284

Tidying of AC, especially of AC16_WO4 using a locale

nipkow [Mon, 10 Aug 1998 11:30:12 +0200] rev 5283

More lemmas about lex.

nipkow [Sat, 08 Aug 1998 14:12:25 +0200] rev 5282

*** empty log message ***

nipkow [Sat, 08 Aug 1998 14:00:56 +0200] rev 5281

List now contains some lexicographic orderings.

wenzelm [Thu, 06 Aug 1998 18:21:14 +0200] rev 5280

added store_tthm;

isabelle