algebra/abelian_magmas.ma algebra/magmas.ma
basics/functions.ma Plogic/connectives.ma Plogic/equality.ma
Plogic/connectives.ma Plogic/equality.ma
arithmetics/nat.ma basics/bool.ma basics/eq.ma basics/functions.ma hints_declaration.ma
algebra/abelian_magmas.ma algebra/magmas.ma
basics/functions.ma Plogic/connectives.ma Plogic/equality.ma
Plogic/connectives.ma Plogic/equality.ma
arithmetics/nat.ma basics/bool.ma basics/eq.ma basics/functions.ma hints_declaration.ma