2 Commits

Author SHA1 Message Date
Thorsten Altenkirch
a85b9d7ad8 minor 2023-06-22 17:25:38 +02:00
Thorsten Altenkirch
7cf08241b4 added fol-subst 2023-06-22 17:18:51 +02:00