Thu, 12 Mar 2009 15:56:32 +0100 | wenzelm | merged | changeset | files |
Thu, 12 Mar 2009 15:31:44 +0100 | nipkow | merged | changeset | files |
Thu, 12 Mar 2009 15:31:26 +0100 | nipkow | added div lemmas | changeset | files |
Thu, 12 Mar 2009 14:27:35 +0100 | nipkow | merged | changeset | files |
Thu, 12 Mar 2009 14:27:21 +0100 | nipkow | optional latex sugar | changeset | files |
Thu, 12 Mar 2009 15:54:58 +0100 | wenzelm | Assumption.all_prems_of, Assumption.all_assms_of; | changeset | files |
Thu, 12 Mar 2009 15:54:19 +0100 | wenzelm | Assumption.local_prems_of; | changeset | files |