isabelle: Changelog

huffman [Tue, 11 Oct 2005 23:27:14 +0200] rev 17834

added xsymbols syntax for pairs; cleaned up

huffman [Tue, 11 Oct 2005 23:23:39 +0200] rev 17833

added theorem typedef_compact

huffman [Tue, 11 Oct 2005 23:22:12 +0200] rev 17832

rearranged subsections; added theorems expand_cfun_eq, expand_cfun_less

huffman [Tue, 11 Oct 2005 23:19:50 +0200] rev 17831

cleaned up; renamed less_fun to expand_fun_less

nipkow [Tue, 11 Oct 2005 17:30:00 +0200] rev 17830

added hd lemma

paulson [Tue, 11 Oct 2005 15:04:11 +0200] rev 17829

simplifying the treatment of clausification

paulson [Tue, 11 Oct 2005 15:03:36 +0200] rev 17828

simplifying the treatment of nameless theorems

wenzelm [Tue, 11 Oct 2005 14:02:33 +0200] rev 17827

expand: error on undefined/empty env variable; tuned;

wenzelm [Tue, 11 Oct 2005 14:02:32 +0200] rev 17826

added assert; tuned;

wenzelm [Tue, 11 Oct 2005 13:30:17 +0200] rev 17825

tuned;

isabelle