isabelle: Changelog

haftmann [Fri, 23 Oct 2009 10:08:29 +0200] rev 33080

renamed f_inv_onto_f to f_inv_into_f (cf. 764547b68538)

haftmann [Thu, 22 Oct 2009 16:58:22 +0200] rev 33079

restored accidentally deleted submultiset

haftmann [Thu, 22 Oct 2009 16:52:06 +0200] rev 33078

multiset operations with canonical argument order

haftmann [Thu, 22 Oct 2009 16:52:06 +0200] rev 33077

arg_types_of auxiliary function; using multiset operations

haftmann [Fri, 23 Oct 2009 06:53:50 +0200] rev 33076

merged

haftmann [Thu, 22 Oct 2009 16:50:24 +0200] rev 33075

close thm derivations explicitly

tbourke [Fri, 23 Oct 2009 09:20:22 +1100] rev 33074

Fix a duplicate abbreviation || in etc/symbols.

wenzelm [Thu, 22 Oct 2009 17:54:47 +0200] rev 33073

made SML/NJ happy;

wenzelm [Thu, 22 Oct 2009 17:09:29 +0200] rev 33072

updated session name;

wenzelm [Thu, 22 Oct 2009 15:50:12 +0200] rev 33071

renamed f_inv_onto_f to f_inv_into_f (cf. 764547b68538);

isabelle