isabelle: Changelog

wenzelm [Wed, 17 Sep 2008 21:27:03 +0200] rev 28261

updated generated file;

krauss [Wed, 17 Sep 2008 15:59:23 +0200] rev 28260

wf_finite_psubset[simp], in_finite_psubset[simp]

ballarin [Wed, 17 Sep 2008 15:21:30 +0200] rev 28259

Public interface to interpretation morphism.

haftmann [Wed, 17 Sep 2008 11:42:25 +0200] rev 28258

moved term_of syntax to separate theory

haftmann [Wed, 17 Sep 2008 10:00:16 +0200] rev 28257

removed obsolete theory

haftmann [Wed, 17 Sep 2008 07:32:04 +0200] rev 28256

added quickcheck.ML

wenzelm [Tue, 16 Sep 2008 18:01:25 +0200] rev 28255

tuned comments;

wenzelm [Tue, 16 Sep 2008 18:01:24 +0200] rev 28254

multithreading for Poly/ML 5.1 is no longer supported;

wenzelm [Tue, 16 Sep 2008 17:28:37 +0200] rev 28253

tuned;

wenzelm [Tue, 16 Sep 2008 17:21:14 +0200] rev 28252

updated system manual;

isabelle