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

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

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: f67ba2f) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 13 Feb 2008 13:40:54 +0000 (13:40 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 13 Feb 2008 13:40:54 +0000 (13:40 +0000)
commit	fb9237a1eb706f8d7e6ed0fea9e6f6a65fa5d7fe
tree	b871efdf5b266e54a722c790270afe9ceaef0ee0	tree \| snapshot
parent	f67ba2fcc539161947b5cdde1b9516a3817115d6	commit \| diff

renaming

19 files changed:

helm/software/matita/contribs/LAMBDA-TYPES/Base-2/Makefile		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/blt/defs.mma	[new file with mode: 0644]	blob
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/blt/defs2.mma	[deleted file]	blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/blt/props.mma	[new file with mode: 0644]	blob
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/blt/props2.mma	[deleted file]	blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/ext/arith.mma	[new file with mode: 0644]	blob
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/ext/arith2.mma	[deleted file]	blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/ext/tactics.mma	[new file with mode: 0644]	blob
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/ext/tactics2.mma	[deleted file]	blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/plist/defs.mma	[new file with mode: 0644]	blob
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/plist/defs2.mma	[deleted file]	blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/plist/props.mma	[new file with mode: 0644]	blob
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/plist/props2.mma	[deleted file]	blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/theory.mma	[new file with mode: 0644]	blob
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/theory2.mma	[deleted file]	blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/types/defs.mma	[new file with mode: 0644]	blob
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/types/defs2.mma	[deleted file]	blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/types/props.mma	[new file with mode: 0644]	blob
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/types/props2.mma	[deleted file]	blob \| history

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