isabelle: Changelog

wenzelm [Wed, 24 Oct 2007 20:17:48 +0200] rev 25177

tuned file names etc.;

wenzelm [Wed, 24 Oct 2007 19:46:01 +0200] rev 25176

*** empty log message ***

wenzelm [Wed, 24 Oct 2007 19:46:00 +0200] rev 25175

added HOL-Statespace session;

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;

isabelle