Account Options

  1. Sign in
The old Google Groups will be going away soon, but your browser is incompatible with the new version.
Google Groups Home
« Groups Home
Group info
Members: 17
Language: English
Group categories:
Computers > Computer Science
More group info »
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