isabelle: Changelog

wenzelm [Mon, 25 May 1998 21:11:46 +0200] rev 4957

remove seq2, scan (use seq2, foldl_map from library.ML);

wenzelm [Mon, 25 May 1998 21:10:45 +0200] rev 4956

added foldl_map: ('a * 'b -> 'a * 'c) -> 'a * 'b list -> 'a * 'c list; added seq2: ('a * 'b -> unit) -> 'a list * 'b list -> unit; tuned 'beginning';

nipkow [Mon, 25 May 1998 12:55:01 +0200] rev 4955

Swapped order of params.

wenzelm [Wed, 20 May 1998 18:58:13 +0200] rev 4954

changed get_single: ('a, 'b) source -> 'a option * ('a, 'b) source; tuned prompt; Scan.source vs. Scan.source';

wenzelm [Wed, 20 May 1998 18:57:16 +0200] rev 4953

source vs. source';

wenzelm [Wed, 20 May 1998 18:56:59 +0200] rev 4952

tuned keywords;

wenzelm [Wed, 20 May 1998 18:56:36 +0200] rev 4951

added is_stale;

isabelle