Gegenstandsfilter von IsabelleX

20230423 fillter

Plattform: PC (Letzte gültige Version: 3.22.2)
Erstellt von : IsabelleX
Zuletzt aktualisiert : 05.05.2023, 06:25:13

Version : 8.10.3a.2023.125.5

2023-12-09 Semi strict

Plattform: PC (Letzte gültige Version: 3.23.2c)
Erstellt von : IsabelleX
Zuletzt aktualisiert : 23.12.2023, 06:37:44

Version : 8.13.1.2023.357.5