matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 26 Feb 2021 19:42:23 +0000 (20:42 +0100)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 26 Feb 2021 19:42:23 +0000 (20:42 +0100)
commit	d9824956d9132109ed5f23380a0a1f9c5181d18a
tree	85c966b2ef2e23b2648abec43fd892c0043a785f	tree \| snapshot
parent	dbc57c92512c04b3fd88f8289bb8dbe99b2f90e0	commit \| diff

removing old contribs

+ RELATIONAL
+ ONAG

25 files changed:

matita/matita/contribs/ONAG/game.ma	[deleted file]	blob \| history
matita/matita/contribs/ONAG/notation.ma	[deleted file]	blob \| history
matita/matita/contribs/ONAG/root	[deleted file]	blob \| history
matita/matita/contribs/ONAG/test.ma	[deleted file]	blob \| history
matita/matita/contribs/RELATIONAL/Makefile	[deleted file]	blob \| history
matita/matita/contribs/RELATIONAL/NLE/defs.ma	[deleted file]	blob \| history
matita/matita/contribs/RELATIONAL/NLE/inv.ma	[deleted file]	blob \| history
matita/matita/contribs/RELATIONAL/NLE/nplus.ma	[deleted file]	blob \| history
matita/matita/contribs/RELATIONAL/NLE/order.ma	[deleted file]	blob \| history
matita/matita/contribs/RELATIONAL/NLE/props.ma	[deleted file]	blob \| history
matita/matita/contribs/RELATIONAL/NPlus/defs.ma	[deleted file]	blob \| history
matita/matita/contribs/RELATIONAL/NPlus/fun.ma	[deleted file]	blob \| history
matita/matita/contribs/RELATIONAL/NPlus/inv.ma	[deleted file]	blob \| history
matita/matita/contribs/RELATIONAL/NPlus/monoid.ma	[deleted file]	blob \| history
matita/matita/contribs/RELATIONAL/NPlusList/defs.ma	[deleted file]	blob \| history
matita/matita/contribs/RELATIONAL/NPlusList/props.ma	[deleted file]	blob \| history
matita/matita/contribs/RELATIONAL/ZEq/defs.ma	[deleted file]	blob \| history
matita/matita/contribs/RELATIONAL/ZEq/setoid.ma	[deleted file]	blob \| history
matita/matita/contribs/RELATIONAL/datatypes/Bool.ma	[deleted file]	blob \| history
matita/matita/contribs/RELATIONAL/datatypes/List.ma	[deleted file]	blob \| history
matita/matita/contribs/RELATIONAL/datatypes/Nat.ma	[deleted file]	blob \| history
matita/matita/contribs/RELATIONAL/datatypes/Zah.ma	[deleted file]	blob \| history
matita/matita/contribs/RELATIONAL/depends	[deleted file]	blob \| history
matita/matita/contribs/RELATIONAL/preamble.ma	[deleted file]	blob \| history
matita/matita/contribs/RELATIONAL/root	[deleted file]	blob \| history

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom