]>
2007-10-28 | Claudio Sacerdoti... | Nil => nil; Cons => cons | blob | commitdiff | raw |
2007-10-14 | Claudio Sacerdoti... | Caseness problems fixed. | blob | commitdiff | raw | diff to current |
2007-10-14 | Claudio Sacerdoti... | Some lemmas moves to the file they belong to. | blob | commitdiff | raw | diff to current |
2007-08-28 | Claudio Sacerdoti... | * definition of implication free propositional formulas | blob | commitdiff | raw | diff to current |