]> matita.cs.unibo.it Git - helm.git/commit
LAMBDA-TYPES: added wf3 (legal context predicate);
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 26 Feb 2008 17:16:12 +0000 (17:16 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 26 Feb 2008 17:16:12 +0000 (17:16 +0000)
commit076f639446efce8d8cf83dcf7ca40b4376fc8c36
treea7db98db386d7a5675a2d31640f2350b9590e530
parent8da8820a77f2104dd1bf17c01fa77f75ee31c8fb
LAMBDA-TYPES: added wf3 (legal context predicate);
              Unified-Sub removed because of its early stage
21 files changed:
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/aprem/fwd.ma [new file with mode: 0644]
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/arity/aprem.ma
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/definitions.ma
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/spare.ma
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/theory.ma
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/ty3/props.ma
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/wf3/clear.ma [new file with mode: 0644]
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/wf3/defs.ma [new file with mode: 0644]
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/wf3/fwd.ma [new file with mode: 0644]
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/wf3/getl.ma [new file with mode: 0644]
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/wf3/props.ma [new file with mode: 0644]
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/wf3/ty3.ma [new file with mode: 0644]
helm/software/matita/contribs/LAMBDA-TYPES/Makefile
helm/software/matita/contribs/LAMBDA-TYPES/Unified-Sub/Lift/defs.ma [deleted file]
helm/software/matita/contribs/LAMBDA-TYPES/Unified-Sub/Lift/fun.ma [deleted file]
helm/software/matita/contribs/LAMBDA-TYPES/Unified-Sub/Lift/inv.ma [deleted file]
helm/software/matita/contribs/LAMBDA-TYPES/Unified-Sub/Lift/props.ma [deleted file]
helm/software/matita/contribs/LAMBDA-TYPES/Unified-Sub/datatypes/Context.ma [deleted file]
helm/software/matita/contribs/LAMBDA-TYPES/Unified-Sub/datatypes/Term.ma [deleted file]
helm/software/matita/contribs/LAMBDA-TYPES/Unified-Sub/preamble.ma [deleted file]
helm/software/matita/contribs/LAMBDA-TYPES/root