isabelle: Changelog

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

nipkow [Wed, 25 Apr 2007 17:50:48 +0200] rev 22793

new lemma splice_length

narboux [Wed, 25 Apr 2007 15:38:56 +0200] rev 22792

fix sml compilation

berghofe [Wed, 25 Apr 2007 15:26:01 +0200] rev 22791

Moved function params_of to inductive_package.ML.

isabelle