Home Discussions10 of 53 messages view all » [Abella] "forall X Y" vs "forall X, forall Y" By David Baelde - Jul 4 2012 - 2 authors - 2 replies [Abella] Undefined atoms By David Baelde - Jul 2 2012 - 2 authors - 1 reply [Abella] Re: adding a section to .thm files that contain .mod and .sig By Andrew Gacek - Aug 22 2011 - 4 authors - 3 replies Abella 1.3.5 By Andrew Gacek - Sep 9 2010 - 1 author - 0 replies Abella 1.3.4 By Andrew Gacek - Feb 17 2010 - 1 author - 0 replies Abella 1.3.3 By Andrew Gacek - Jan 21 2010 - 1 author - 0 replies Abella 1.3.2 By Andrew Gacek - Nov 22 2009 - 1 author - 0 replies Abella 1.3 By Andrew Gacek - Oct 21 2009 - 1 author - 0 replies Abella 1.2 Release By Andrew Gacek - Aug 26 2009 - 1 author - 0 replies Abella 1.1.3 By Andrew Gacek - Jan 29 2009 - 1 author - 0 replies Report this group   XML       Send email to this group: abella-theorem-prover@googlegroups.com