| Tue, 28 Jul 2015 21:47:03 +0200 | wenzelm | more explicit context; | changeset | files |
| Tue, 28 Jul 2015 21:31:16 +0200 | wenzelm | eliminated dead code; | changeset | files |
| Tue, 28 Jul 2015 21:10:41 +0200 | wenzelm | clarified Variable.gen_all; | changeset | files |
| Tue, 28 Jul 2015 20:59:39 +0200 | wenzelm | more explicit context; | changeset | files |
| Tue, 28 Jul 2015 20:15:19 +0200 | wenzelm | more direct access to atomic cterms; | changeset | files |
| Tue, 28 Jul 2015 20:07:05 +0200 | wenzelm | clarified context; | changeset | files |
| Tue, 28 Jul 2015 20:05:53 +0200 | wenzelm | proper context; | changeset | files |
| Tue, 28 Jul 2015 19:49:54 +0200 | wenzelm | more direct access to atomic cterms; | changeset | files |
| Tue, 28 Jul 2015 18:59:15 +0200 | wenzelm | clarified context; | changeset | files |
| Tue, 28 Jul 2015 18:57:47 +0200 | wenzelm | clarified context; | changeset | files |
| 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 |