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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 23 Mar 2008 18:39:34 +0000 (18:39 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 23 Mar 2008 18:39:34 +0000 (18:39 +0000)
commit	3b2361afb73203749541ad07e94648da6057ae67
tree	31930e6b5112e5645c7be1e1fecd1f503dd69696	tree \| snapshot
parent	413007de240fefb28650bb5ba7940f46db656751	commit \| diff

cicNotationPp: fixed letin syntax (now typeless)
LambdaTypes: typeles letin syntax, some notational changes, Makefile fixed

37 files changed:

helm/software/components/acic_content/cicNotationPp.ml		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/blt/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/plist/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/types/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/cimp/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/csubc/drop.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/definitions.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/ex0/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/lift/fwd.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/nf2/fwd.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/pr0/dec.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/pr0/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/pr0/fwd.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/pr0/pr0.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/pr0/props.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/sn3/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/spare.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/sty0/defs.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/sty0/fwd.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/sty0/props.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/sty1/cnt.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/sty1/defs.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/sty1/props.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/tau0/defs.ma	[deleted file]	blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/tau0/fwd.ma	[deleted file]	blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/tau0/props.ma	[deleted file]	blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/tau1/cnt.ma	[deleted file]	blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/tau1/defs.ma	[deleted file]	blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/tau1/props.ma	[deleted file]	blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/theory.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/ty3/pr3.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/ty3/sty0.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/ty3/tau0.ma	[deleted file]	blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Legacy-2/coq/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Legacy-2/preamble.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Makefile		diff \| blob \| history

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

RSS Atom