This repository has been archived on 2024-04-22. You can view files and clone it, but cannot push or open issues or pull requests.

Burkhart Wolff bafc2405e9 this and that.		2018-06-14 15:35:14 +02:00
..
CC_ISO15408.thy	added syntax for modes of doc_class_references.	2018-03-29 11:19:07 +02:00
CENELEC_50126.thy	Added syntactic constants for classes (for proper	2018-05-15 09:11:17 +02:00
Conceptual.thy	Concptual repaired.	2018-06-11 18:48:49 +02:00
mathex_onto.thy	this and that.	2018-06-14 15:35:14 +02:00
scholarly_paper.thy	Added side_by_side_figure.	2018-06-10 11:34:14 +01:00