Made all the FCF files importable via -Q

adampetcher / fcf

Foundational Cryptography Framework for machine-checked proofs of cryptography.

Other

48 stars 23 forks source link

Made all the FCF files importable via -Q #27

Closed andrew-appel closed 5 years ago

andrew-appel commented 5 years ago

This changes makes it easier to import FCF into another project without polluting namespaces. Now, every file in FCF imports other files in FCF by, e.g., Require Import FCF.Comp. instead of Require Import Comp.