| Thu, 08 Oct 2015 11:19:43 +0200 | hoelzl | generalize eqI theorems for product measures | changeset | files |
| Wed, 07 Oct 2015 23:28:49 +0200 | wenzelm | isabelle update_cartouches; | changeset | files |
| Wed, 07 Oct 2015 19:45:00 +0200 | wenzelm | more glyphs from DejaVuSansMono and DejaVuSansMono-Bold: 0100-017F Latin Extended-A, 0180-024F Latin Extended-B; | changeset | files |