Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] NEWS: Localized commands 'syntax' and 'no_...

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

From: Makarius <>
* General *

This refers to Isabelle/eb54c0604ca5.

The idea has been in the pipeline for quite some time, and is now properly
materialized. The approach is rather basic: raw syntax refers to
global/extra-logical things and does not participate in transformation via


isabelle-dev mailing list

Last updated: Mar 04 2024 at 12:30 UTC