HITs-Examples/FiniteSets/FSets.v

mirror of https://github.com/nmvdw/HITs-Examples
Require Export HoTT HitTactics.
Require Export kuratowski_sets kuratowski.operations kuratowski.properties extensionality prelude.
Split the development into different directories 2017-08-01 15:41:53 +02:00			`Require Export HoTT HitTactics.`
Quickfix 2017-09-19 18:22:22 +02:00			`Require Export kuratowski_sets kuratowski.operations kuratowski.properties extensionality prelude.`