1 Commits

Author SHA1 Message Date
Vladimir Iakovlev a906a751c8 #N/A: Add prove_recursively rule 2017-10-15 15:51:09 +02:00