gf-core.git/examples/logic/TheoryI.gf, branch master Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/gf-core.git/atom?h=master 2008-06-25T16:54:35+00:00 changed names of resource-1.3; added a note on homepage on release 2008-06-25T16:54:35+00:00 aarne aarne@cs.chalmers.se 2008-06-25T16:54:35+00:00 urn:sha1:e9e80fc389365e24d4300d7d5390c7d833a96c50 a logic library; fix in make mathematical 2006-11-26T17:14:20+00:00 aarne aarne@cs.chalmers.se 2006-11-26T17:14:20+00:00 urn:sha1:c75688651e95d1fe69175ca3e4859e6d753b2b8c