[isabelle-dev] [Fwd: status (AFP)]

-- An embedded and charset-unspecified text was scrubbed... Name: report-devel URL: https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20080901/fea2cd3b/attachment-0001.diff -- next part -- An embedded and charset-unspecified text was scrubbed

[isabelle-dev] [Fwd: [Fwd: status (AFP)]]

was scrubbed... Name: report-devel URL: https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20080901/e5e606ca/attachment-0003.diff -- next part -- An embedded and charset-unspecified text was scrubbed... Name: afp-test-devel-2008-09-01.log URL: https