On Mon, 21 Apr 2014, Florian Haftmann wrote:
http://isabelle.in.tum.de/reports/Isabelle/report/46b09298dc124054957dc1d25ee4fa61
See now
changeset: 4409:1d9135e2d3ed
tag: tip
user:wenzelm
date:Tue Apr 22 13:38:45 2014 +0200
summary: recovered global integrity of s
http://isabelle.in.tum.de/reports/Isabelle/report/46b09298dc124054957dc1d25ee4fa61
--
PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
signature.asc
Description: OpenPGP digital signature
__
