Simply awesome. Larry On 7 Aug 2012, at 21:59, Makarius wrote:
> 0:45:45 elapsed time, 8:44:02 cpu time, factor 11.45 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
