I’ve just added a lot more advanced material from HOL Light. There isn't much 
about this in the NEWS file; unfortunately there is no headline result to 
mention or even a dominant theme. Nor can we say that the entire library has 
been ported. But I still think it’s a significant development for the next 
release.

Larry

_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

Reply via email to