From: Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
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
---