Nicolas Méric b364880bfc Polymorphic classes first draft		2023-07-19 18:58:04 +02:00
..
Conceptual.thy	Polymorphic classes first draft	2023-07-19 18:58:04 +02:00