isabelle: Changelog

wenzelm [Wed, 24 Oct 2007 19:21:40 +0200] rev 25174

be explicit about .ML files;

wenzelm [Wed, 24 Oct 2007 19:21:39 +0200] rev 25173

fixed HOL-Statespace for case-sensitive file-system;

wenzelm [Wed, 24 Oct 2007 19:21:38 +0200] rev 25172

tuned comments;

schirmer [Wed, 24 Oct 2007 18:36:09 +0200] rev 25171

added Statespace library

krauss [Wed, 24 Oct 2007 18:32:53 +0200] rev 25170

tuned

krauss [Wed, 24 Oct 2007 18:30:06 +0200] rev 25169

fun command: use "reinit" between "function" and "termination"

wenzelm [Wed, 24 Oct 2007 17:17:43 +0200] rev 25168

parse_term: invoke full Syntax.check_term, not just standard_infer_types;

haftmann [Wed, 24 Oct 2007 07:19:57 +0200] rev 25167

fixed typo

haftmann [Wed, 24 Oct 2007 07:19:56 +0200] rev 25166

added subclass_rule

haftmann [Wed, 24 Oct 2007 07:19:54 +0200] rev 25165

example with rational numbers

isabelle