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

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

author	Enrico Tassi <enrico.tassi@inria.fr>
	Wed, 9 Jan 2008 13:10:27 +0000 (13:10 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Wed, 9 Jan 2008 13:10:27 +0000 (13:10 +0000)
commit	92e53212b1142355777f171bf683066f52135ed7
tree	140605dcbacfedf64de1c8ce22081f0c8d0c3035	tree \| snapshot
parent	718eb06483ac76c4eb3160277c02598f298d0968	commit \| diff

ported to the new make system

50 files changed:

matita/contribs/LOGIC/CLE/defs.ma		diff \| blob \| history
matita/contribs/LOGIC/Insert/defs.ma		diff \| blob \| history
matita/contribs/LOGIC/Insert/fun.ma		diff \| blob \| history
matita/contribs/LOGIC/Insert/inv.ma		diff \| blob \| history
matita/contribs/LOGIC/Insert/props.ma		diff \| blob \| history
matita/contribs/LOGIC/Lift/defs.ma		diff \| blob \| history
matita/contribs/LOGIC/NTrack/defs.ma		diff \| blob \| history
matita/contribs/LOGIC/NTrack/inv.ma		diff \| blob \| history
matita/contribs/LOGIC/NTrack/order.ma		diff \| blob \| history
matita/contribs/LOGIC/NTrack/props.ma		diff \| blob \| history
matita/contribs/LOGIC/PEq/defs.ma		diff \| blob \| history
matita/contribs/LOGIC/PNF/defs.ma		diff \| blob \| history
matita/contribs/LOGIC/PRed/defs.ma		diff \| blob \| history
matita/contribs/LOGIC/PRed/wlt.ma		diff \| blob \| history
matita/contribs/LOGIC/Track/defs.ma		diff \| blob \| history
matita/contribs/LOGIC/Track/inv.ma		diff \| blob \| history
matita/contribs/LOGIC/Track/order.ma		diff \| blob \| history
matita/contribs/LOGIC/Track/pred.ma		diff \| blob \| history
matita/contribs/LOGIC/WLT/defs.ma		diff \| blob \| history
matita/contribs/LOGIC/Weight/defs.ma		diff \| blob \| history
matita/contribs/LOGIC/datatypes_defs/Context.ma		diff \| blob \| history
matita/contribs/LOGIC/datatypes_defs/Formula.ma		diff \| blob \| history
matita/contribs/LOGIC/datatypes_defs/Proof.ma		diff \| blob \| history
matita/contribs/LOGIC/datatypes_defs/Sequent.ma		diff \| blob \| history
matita/contribs/LOGIC/datatypes_props/Sequent.ma		diff \| blob \| history
matita/contribs/LOGIC/depends	[new file with mode: 0644]	blob
matita/contribs/LOGIC/makefile	[deleted file]	blob \| history
matita/contribs/LOGIC/preamble.ma		diff \| blob \| history
matita/contribs/LOGIC/root	[new file with mode: 0644]	blob
matita/contribs/RELATIONAL/NLE/defs.ma		diff \| blob \| history
matita/contribs/RELATIONAL/NLE/inv.ma		diff \| blob \| history
matita/contribs/RELATIONAL/NLE/nplus.ma		diff \| blob \| history
matita/contribs/RELATIONAL/NLE/order.ma		diff \| blob \| history
matita/contribs/RELATIONAL/NLE/props.ma		diff \| blob \| history
matita/contribs/RELATIONAL/NPlus/defs.ma		diff \| blob \| history
matita/contribs/RELATIONAL/NPlus/fun.ma		diff \| blob \| history
matita/contribs/RELATIONAL/NPlus/inv.ma		diff \| blob \| history
matita/contribs/RELATIONAL/NPlus/monoid.ma		diff \| blob \| history
matita/contribs/RELATIONAL/NPlusList/defs.ma		diff \| blob \| history
matita/contribs/RELATIONAL/NPlusList/props.ma		diff \| blob \| history
matita/contribs/RELATIONAL/ZEq/defs.ma		diff \| blob \| history
matita/contribs/RELATIONAL/ZEq/setoid.ma		diff \| blob \| history
matita/contribs/RELATIONAL/datatypes/Bool.ma		diff \| blob \| history
matita/contribs/RELATIONAL/datatypes/List.ma		diff \| blob \| history
matita/contribs/RELATIONAL/datatypes/Nat.ma		diff \| blob \| history
matita/contribs/RELATIONAL/datatypes/Zah.ma		diff \| blob \| history
matita/contribs/RELATIONAL/depends	[new file with mode: 0644]	blob
matita/contribs/RELATIONAL/makefile	[deleted file]	blob \| history
matita/contribs/RELATIONAL/preamble.ma		diff \| blob \| history
matita/contribs/RELATIONAL/root	[new file with mode: 0644]	blob

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

RSS Atom