From: Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Date: Sat, 14 Jul 2018 18:34:18 +0000 (+0200)
Subject: updated xoa and predefined virtuals
X-Git-Tag: make_still_working~298
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=040c8158f327a3091c45295e91aaed2dedc137cb;hp=040c8158f327a3091c45295e91aaed2dedc137cb;p=helm.git

updated xoa and predefined virtuals

+ xoa: existing decentralized files are not overwritten by default
+ predefined virtuals: an addition for use in λδ
---