isabelle: Changelog

haftmann [Thu, 02 Jul 2009 16:00:27 +0200] rev 31912

more friendly wrt. PGs interpretation of compound *); added dedicated section on value and quickcheck

paulson [Thu, 02 Jul 2009 14:43:06 +0100] rev 31911

merged

paulson [Thu, 02 Jul 2009 10:49:46 +0100] rev 31910

Deleted some debugging code

paulson [Wed, 01 Jul 2009 16:19:44 +0100] rev 31909

merged

paulson [Wed, 24 Jun 2009 16:28:30 +0100] rev 31908

merged

paulson [Tue, 23 Jun 2009 15:48:55 +0100] rev 31907

merged

paulson [Thu, 18 Jun 2009 17:14:08 +0100] rev 31906

Removed unnecessary conditions concerning nonzero divisors

wenzelm [Thu, 02 Jul 2009 22:17:08 +0200] rev 31905

strip_shyps: remove top sort, which is logically insignificant;

wenzelm [Thu, 02 Jul 2009 21:26:18 +0200] rev 31904

renamed Drule.sort_triv to Thm.sort_triv (cf. more_thm.ML);

wenzelm [Thu, 02 Jul 2009 20:55:44 +0200] rev 31903

added pro-forma proof constructor Inclass;

isabelle