isabelle: Changelog

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;

wenzelm [Tue, 16 Sep 2008 17:18:41 +0200] rev 28251

Proof General / Emacs interface wrapper;

isabelle