| Wed, 28 Oct 2009 18:21:02 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 28 Oct 2009 18:02:06 +0100 | wenzelm | merged | changeset | files |
| Wed, 28 Oct 2009 17:45:53 +0100 | wenzelm | merged | changeset | files |
| Wed, 28 Oct 2009 17:38:13 +0100 | wenzelm | misc tuning; | changeset | files |
| Wed, 28 Oct 2009 17:36:34 +0100 | wenzelm | let naming transform binding beforehand -- covering only the "conceal" flag for now; | changeset | files |
| Wed, 28 Oct 2009 16:28:12 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 28 Oct 2009 16:27:48 +0100 | wenzelm | simplified default binding; | changeset | files |
| Wed, 28 Oct 2009 16:25:27 +0100 | wenzelm | conceal internal bindings; | changeset | files |
| Wed, 28 Oct 2009 16:25:26 +0100 | wenzelm | Drule.store: proper binding; | changeset | files |
| Wed, 28 Oct 2009 16:25:10 +0100 | wenzelm | added restore_naming; | changeset | files |
| Wed, 28 Oct 2009 17:44:03 +0100 | haftmann | load Product_Type before Nat; dropped junk | changeset | files |
| Wed, 28 Oct 2009 17:44:03 +0100 | haftmann | moved lemmas for dvd on nat to theories Nat and Power | changeset | files |
| Wed, 28 Oct 2009 12:21:38 +0000 | paulson | Probability tweaks | changeset | files |
| Wed, 28 Oct 2009 11:43:06 +0000 | paulson | merged | changeset | files |
| Wed, 28 Oct 2009 11:42:31 +0000 | paulson | New theory Probability, which contains a development of measure theory | changeset | files |
| Tue, 27 Oct 2009 14:46:03 +0000 | paulson | merged | changeset | files |
| Tue, 27 Oct 2009 12:59:57 +0000 | paulson | New theory SupInf of the supremum and infimum operators for sets of reals. | changeset | files |
| Wed, 28 Oct 2009 00:24:38 +0100 | wenzelm | eliminated hard tabulators, guessing at each author's individual tab-width; | changeset | files |
| Wed, 28 Oct 2009 00:23:39 +0100 | wenzelm | tuned initial session setup; | changeset | files |
| Wed, 28 Oct 2009 00:08:32 +0100 | wenzelm | merged | changeset | files |
| Wed, 28 Oct 2009 00:07:51 +0100 | wenzelm | proper headers; | changeset | files |
| Tue, 27 Oct 2009 23:16:18 +0100 | wenzelm | reactivated sun-poly, as parallel test; | changeset | files |
| Tue, 27 Oct 2009 23:12:10 +0100 | wenzelm | merged | changeset | files |
| Tue, 27 Oct 2009 19:03:59 +0100 | bulwahn | merged | changeset | files |
| Tue, 27 Oct 2009 16:47:27 +0100 | bulwahn | merged | changeset | files |
| Tue, 27 Oct 2009 16:01:38 +0100 | bulwahn | merged | changeset | files |
| Tue, 27 Oct 2009 13:51:22 +0100 | bulwahn | merged | changeset | files |
| Tue, 27 Oct 2009 09:24:45 +0100 | bulwahn | disabled test case for predicate compiler due to an problem in the inductive package | changeset | files |