log

age author description
Mon, 20 Oct 2008 10:44:20 -0400 Adam Chlipala Add ext_eq axiom and DepList notations