isabelle: Changelog

haftmann [Thu, 26 Apr 2007 13:33:09 +0200] rev 22803

slightly tuned

haftmann [Thu, 26 Apr 2007 13:33:07 +0200] rev 22802

replaced recdef by function

haftmann [Thu, 26 Apr 2007 13:33:05 +0200] rev 22801

cleaned up code generator setup for int

haftmann [Thu, 26 Apr 2007 13:33:04 +0200] rev 22800

added lemmatas

haftmann [Thu, 26 Apr 2007 13:32:59 +0200] rev 22799

moved code generation pretty integers and characters to separate theories

haftmann [Thu, 26 Apr 2007 13:32:55 +0200] rev 22798

updated doc

wenzelm [Thu, 26 Apr 2007 12:00:12 +0200] rev 22797

mk_const_def: Sign.intern_term (legacy);

wenzelm [Thu, 26 Apr 2007 12:00:05 +0200] rev 22796

renamed some old names Theory.xxx to Sign.xxx;

wenzelm [Thu, 26 Apr 2007 12:00:01 +0200] rev 22795

updated;

narboux [Wed, 25 Apr 2007 21:29:14 +0200] rev 22794

add the lemma supp_eqvt and put the right attribute

isabelle