Revision history for heyting-algebra

0.0.1.0 -- YYYY-mm-dd

• First version. Released on an unsuspecting world.