Thu, 27 Oct 2011 07:46:57 +0200 |
fix bug in cancel_factor simprocs so they will work on goals like 'x * y < x * z' where the common term is already on the left
|
file | diff | annotate |
Wed, 07 Sep 2011 09:02:58 -0700 |
avoid using legacy theorem names
|
file | diff | annotate |
Thu, 13 Jan 2011 23:50:16 +0100 |
eliminated global prems;
|
file | diff | annotate |
Fri, 06 Aug 2010 12:37:00 +0200 |
modernized specifications;
|
file | diff | annotate |
Mon, 12 Jul 2010 08:58:13 +0200 |
dropped superfluous [code del]s
|
file | diff | annotate |
Sun, 10 Jan 2010 18:43:45 +0100 |
Adapted to changes in induct method.
|
file | diff | annotate |
Fri, 13 Nov 2009 14:14:04 +0100 |
renamed lemmas "anti_sym" -> "antisym"
|
file | diff | annotate |
Sat, 17 Oct 2009 14:43:18 +0200 |
eliminated hard tabulators, guessing at each author's individual tab-width;
|
file | diff | annotate |
Tue, 01 Sep 2009 15:39:33 +0200 |
some reorganization of number theory
|
file | diff | annotate | base |