freescale/theory.ma freescale/pts.ma
freescale/bool_lemmas.ma freescale/bool.ma freescale/theory.ma
freescale/bool.ma freescale/pts.ma
freescale/pts.ma 
freescale/option_lemmas.ma freescale/bool_lemmas.ma freescale/option.ma
freescale/prod_lemmas.ma freescale/bool_lemmas.ma freescale/prod.ma
freescale/nat.ma freescale/bool.ma freescale/pts.ma
freescale/option.ma freescale/bool.ma
freescale/prod.ma freescale/bool.ma
freescale/exadecim.ma freescale/bool.ma freescale/nat.ma freescale/prod.ma
freescale/nat_lemmas.ma freescale/bool_lemmas.ma freescale/nat.ma