isabelle: Changelog

nipkow [Thu, 19 May 2005 18:07:05 +0200] rev 16010

subst again

paulson [Thu, 19 May 2005 11:08:15 +0200] rev 16009

Skolemization of simprules and classical rules

huffman [Thu, 19 May 2005 02:33:40 +0200] rev 16008

pcpo instance for type unit

dixon [Thu, 19 May 2005 01:22:53 +0200] rev 16007

lucas - bugfix to subst in assumptions: fixed index error for conditional rules.

huffman [Wed, 18 May 2005 23:49:52 +0200] rev 16006

shortened proof of adm_disj

huffman [Wed, 18 May 2005 23:29:36 +0200] rev 16005

cleaned up and shortened some proofs

dixon [Wed, 18 May 2005 23:04:13 +0200] rev 16004

lucas - fixed subst in assumptions to count redexes from left to right.

wenzelm [Wed, 18 May 2005 11:31:00 +0200] rev 16003

removed update_node, which is just an instance of map_node; tuned;

wenzelm [Wed, 18 May 2005 11:30:59 +0200] rev 16002

tuned;

wenzelm [Wed, 18 May 2005 11:30:58 +0200] rev 16001

updated;

isabelle