Initial import to Git
Ignoring generated jars.
Ignoring generated javadoc.
Ignoring bin.
DocBook
DocBook
A javadoc comment
Deleting lots of class files that were mistakenly added to git.
/bin folder added to .gitignore files
DocBook
DocBook
Merge branch 'docbook' of athena:/opt/git/Aletheia into docbook
Some writing about the 'term' concept.
Some writing about the 'term' concept.
Merge branch 'docbook' of quim@athena:/opt/git/Aletheia.git into docbook

Conflicts:
	Aletheia.DocBook/aletheia.lyx
Documentation of the term replace operation.
The replacement of a FunctionTerm is always a FunctionTerm.
DocBook
DocBook
Some writing about the 'term' concept.