2 Commits

Author	SHA1	Message	Date
Burkhart Wolff	7e2224859e	mmm	2020-06-22 17:42:40 +02:00
Achim D. Brucker	0c41ee46bb	Port to Isabelle 2020 (tested with Isabelle 2020 RC4).	2020-04-08 13:12:17 +01:00