| Fri, 21 Oct 2016 17:24:57 +0200 | wenzelm | merged | changeset | files |
| Fri, 21 Oct 2016 17:24:43 +0200 | wenzelm | more ambitious default; | changeset | files |
| Fri, 21 Oct 2016 16:46:02 +0200 | wenzelm | updated to new structure Foreign; | changeset | files |
| Fri, 21 Oct 2016 11:02:36 +0200 | hoelzl | HOL-Probability: Essential Supremum as Limsup over ae_filter | changeset | files |
| Fri, 21 Oct 2016 11:45:35 +0200 | wenzelm | less ambitious test; | changeset | files |
| Fri, 21 Oct 2016 11:19:15 +0200 | wenzelm | proper type for Poly/ML development version; | changeset | files |
| Fri, 21 Oct 2016 11:00:16 +0200 | wenzelm | more operations; | changeset | files |
| Thu, 20 Oct 2016 20:03:32 +0200 | haftmann | more on sgn in linear ordered fields | changeset | files |