src/HOL/Decision_Procs/mir_tac.ML
Wed, 11 Mar 2009 10:58:18 +0100 hoelzl Updated paths in Decision_Procs comments and NEWS
Wed, 04 Mar 2009 11:05:29 +0100 blanchet Merge.
Wed, 04 Mar 2009 10:45:52 +0100 blanchet Merge.
Tue, 03 Mar 2009 17:05:18 +0100 nipkow removed and renamed redundant lemmas
Sat, 21 Feb 2009 09:58:26 +0100 nipkow removed redundant thms
Fri, 20 Feb 2009 23:46:03 +0100 nipkow Removed redundant lemmas
Tue, 17 Feb 2009 18:48:17 +0100 nipkow Cleaned up IntDiv and removed subsumed lemmas.
Fri, 06 Feb 2009 15:15:32 +0100 haftmann session Reflecion renamed to Decision_Procs, moved Dense_Linear_Order there
less more (0) tip