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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 4 Mar 2008 19:10:48 +0000 (19:10 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 4 Mar 2008 19:10:48 +0000 (19:10 +0000)
commit	20377cd037f6cc5eb9c6a5664354a8a0189d3f4f
tree	d657d4501863564c5642570d28a1c4be7c1a3aa6	tree \| snapshot
parent	289d8d049e72beef41c17930f13727b5049981a2	commit \| diff

components/library: dotdothack removed
legacy & LAMBDA-TYPES support $(MATITAUSEROPTIONS) (= -system for fguidi)
LAMBDA-TYPES: two missing generation lemmas added

15 files changed:

helm/software/components/library/librarian.ml		diff \| blob \| history
helm/software/components/library/librarian.mli		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/aprem/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/arity/aprem.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/arity/fwd.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/ex2/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/leq/asucc.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/leq/fwd.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/leq/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/nf2/arity.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/sc3/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/ty3/arity.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Makefile		diff \| blob \| history
helm/software/matita/legacy/Makefile		diff \| blob \| history
helm/software/matita/matitacLib.ml		diff \| blob \| history

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

RSS Atom