Commit Graph

1 Commits

Author SHA1 Message Date
Ines Montani 2eb163c5dd Add lemma rules 2016-12-18 15:36:53 +01:00