Tue, 28 Jul 2015 18:57:10 +0200 | wenzelm | clarified context; | changeset | files |
Tue, 28 Jul 2015 18:45:32 +0200 | immler | merged | changeset | files |
Tue, 28 Jul 2015 17:46:35 +0200 | immler | merged | changeset | files |
Tue, 28 Jul 2015 16:34:08 +0200 | immler | added theory Uniform_Limit | changeset | files |
Tue, 28 Jul 2015 18:27:39 +0200 | wenzelm | evade timeout problem on macbroy6 (potentially due to NFS oddities); | changeset | files |
Tue, 28 Jul 2015 17:15:01 +0100 | paulson | tweaks. Got rid of a really slow step | changeset | files |