From: Ferruccio Guidi Date: Sat, 15 Jun 2019 13:19:59 +0000 (+0200) Subject: updating the structures for sorts X-Git-Tag: make_still_working~244 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=647b419e96770d90a82d7a9e5e8843566a9f93ee;hp=647b419e96770d90a82d7a9e5e8843566a9f93ee;p=helm.git updating the structures for sorts + strict monotonicity is now an optional property + new optional properties: acyclicity and decidability + "next" now has a specific notation + refactored sort degree is now based on acyclicity and decidability ---