Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] NEWS: ML antiquotations for object-logic j...

view this post on Zulip Email Gateway (Sep 22 2021 at 10:55):

From: Makarius <>
* ML *

This refers to Isabelle/4974c3697fee.

It is just a fine point in recent "clarification of antiquotations", e.g. see
the impact on FOL and fologic.ML


isabelle-dev mailing list

Last updated: Mar 04 2024 at 10:08 UTC