To avoid duplication of effort, note that I'm currently trying to convert the AFP theories DataRefinementIBP and GraphMarkingIBP. Larry
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev