Nicolas Méric 59b082d09d Handle "_" and "'" in mixfix to be compatible with inner syntax names		2023-06-06 16:44:11 +02:00
..
manual	Handle "_" and "'" in mixfix to be compatible with inner syntax names	2023-06-06 16:44:11 +02:00
Isa_COL.thy	Update documentation and some refactoring	2023-05-15 10:48:40 +02:00
Isa_DOF.thy	Handle "_" and "'" in mixfix to be compatible with inner syntax names	2023-06-06 16:44:11 +02:00
RegExpInterface.thy	Restrict RegExpInterface notations to onto class definition	2023-05-16 12:27:19 +02:00