isabelle: Changelog

paulson [Tue, 19 Jan 1999 12:56:27 +0100] rev 6143

freeness reasoning: T.free_iffs

wenzelm [Tue, 19 Jan 1999 11:46:18 +0100] rev 6142

tuned;

paulson [Tue, 19 Jan 1999 11:18:11 +0100] rev 6141

removal of the (thm list) argument of mk_cases

paulson [Tue, 19 Jan 1999 11:16:39 +0100] rev 6140

tidied; added dest_eq

paulson [Tue, 19 Jan 1999 11:16:07 +0100] rev 6139

simplified thanks to the arithmetic prover

paulson [Tue, 19 Jan 1999 11:15:40 +0100] rev 6138

updated comments

paulson [Tue, 19 Jan 1999 11:15:03 +0100] rev 6137

a simplification by G Bella

wenzelm [Mon, 18 Jan 1999 21:12:42 +0100] rev 6136

structure Graph = Graph;

wenzelm [Mon, 18 Jan 1999 21:09:34 +0100] rev 6135

GraphFun (generic directed graphs); Graph (graphs indexed by strings);

wenzelm [Mon, 18 Jan 1999 21:08:27 +0100] rev 6134

added General/graph.ML: generic direct graphs;

isabelle