isabelle: Changelog

haftmann [Fri, 27 Jun 2008 09:55:02 +0200] rev 27376

adjusted import

haftmann [Fri, 27 Jun 2008 09:34:08 +0200] rev 27375

adjusted import

urbanc [Fri, 27 Jun 2008 00:37:30 +0200] rev 27374

added a lemma to at_swap_simps

huffman [Thu, 26 Jun 2008 17:54:05 +0200] rev 27373

remove cset theory; define ideal completions using typedef instead of cpodef

wenzelm [Thu, 26 Jun 2008 15:06:30 +0200] rev 27372

Args.theory;

wenzelm [Thu, 26 Jun 2008 15:06:28 +0200] rev 27371

added context/theory scanner;

wenzelm [Thu, 26 Jun 2008 15:06:25 +0200] rev 27370

Args.context;

krauss [Thu, 26 Jun 2008 11:58:27 +0200] rev 27369

fix: need to beta/eta normalize

haftmann [Thu, 26 Jun 2008 10:07:01 +0200] rev 27368

established Plain theory and image

haftmann [Thu, 26 Jun 2008 10:06:54 +0200] rev 27367

added dummy citiation

isabelle