]> matita.cs.unibo.it Git - helm.git/blob - helm/www/lambdadelta/etc/abst.txt
Merge remote-tracking branch 'origin/matita-lablgtk3'
[helm.git] / helm / www / lambdadelta / etc / abst.txt
1 Restricted abstractions in layer 1
2
3 <Abst name="P" layer="1" side-degree="1" main-degree="0" side-position="0" main-position="1"> SB TP
4 <Abst name="P" layer="1" side-degree="1" main-degree="0" side-position="1" main-position="1"> SB PP
5
6 <Abst name="P" layer="1" side-degree="1" main-degree="1" side-position="0" main-position="0"> SS TT
7 <Abst name="P" layer="1" side-degree="1" main-degree="1" side-position="0" main-position="1"> SS TP
8 <Abst name="P" layer="1" side-degree="1" main-degree="1" side-position="1" main-position="0"> SS PT
9 <Abst name="P" layer="1" side-degree="1" main-degree="1" side-position="1" main-position="1"> SS PP
10
11 Restricted abstractions in layer 2
12
13 <Abst name="P" layer="2" side-degree="1" main-degree="1" side-position="0" main-position="1"> SB TP
14 <Abst name="P" layer="2" side-degree="1" main-degree="1" side-position="1" main-position="1"> SB PP
15
16 <Abst name="P" layer="2" side-degree="1" main-degree="2" side-position="0" main-position="0"> SS TT
17 <Abst name="P" layer="2" side-degree="1" main-degree="2" side-position="0" main-position="1"> SS TP
18 <Abst name="P" layer="2" side-degree="1" main-degree="2" side-position="1" main-position="0"> SS PT
19 <Abst name="P" layer="2" side-degree="1" main-degree="2" side-position="1" main-position="1"> SS PP
20
21 Unrestricted abstractions in layer 1
22
23 <Abst name="Y" layer="1" side-degree="0" main-degree="0" side-position="0" main-position="0">
24 <Abst name="Y" layer="1" side-degree="0" main-degree="0" side-position="0" main-position="1">
25 <Abst name="Y" layer="1" side-degree="0" main-degree="0" side-position="1" main-position="0">
26
27 <Abst name="Y" layer="1" side-degree="0" main-degree="1" side-position="0" main-position="0">
28 <Abst name="Y" layer="1" side-degree="0" main-degree="1" side-position="0" main-position="1">
29 <Abst name="Y" layer="1" side-degree="0" main-degree="1" side-position="1" main-position="0">
30 <Abst name="Y" layer="1" side-degree="0" main-degree="1" side-position="1" main-position="1">
31
32 <Abst name="Y" layer="1" side-degree="1" main-degree="0" side-position="0" main-position="1">
33
34 <Abst name="Y" layer="1" side-degree="1" main-degree="1" side-position="0" main-position="0">
35 <Abst name="Y" layer="1" side-degree="1" main-degree="1" side-position="0" main-position="1">
36 <Abst name="Y" layer="1" side-degree="1" main-degree="1" side-position="1" main-position="0">
37 <Abst name="Y" layer="1" side-degree="1" main-degree="1" side-position="1" main-position="1">
38
39 Unrestricted abstractions in layer 2
40
41 <Abst name="Y" layer="2" side-degree="0" main-degree="1" side-position="0" main-position="0">
42 <Abst name="Y" layer="2" side-degree="0" main-degree="1" side-position="0" main-position="1">
43 <Abst name="Y" layer="2" side-degree="0" main-degree="1" side-position="1" main-position="0">
44 <Abst name="Y" layer="2" side-degree="0" main-degree="1" side-position="1" main-position="1">
45
46 <Abst name="Y" layer="2" side-degree="0" main-degree="2" side-position="0" main-position="0">
47 <Abst name="Y" layer="2" side-degree="0" main-degree="2" side-position="0" main-position="1">
48 <Abst name="Y" layer="2" side-degree="0" main-degree="2" side-position="1" main-position="0">
49 <Abst name="Y" layer="2" side-degree="0" main-degree="2" side-position="1" main-position="1">
50
51 <Abst name="Y" layer="2" side-degree="1" main-degree="1" side-position="0" main-position="0">
52 <Abst name="Y" layer="2" side-degree="1" main-degree="1" side-position="0" main-position="1">
53 <Abst name="Y" layer="2" side-degree="1" main-degree="1" side-position="1" main-position="0">
54 <Abst name="Y" layer="2" side-degree="1" main-degree="1" side-position="1" main-position="1">
55
56 <Abst name="Y" layer="2" side-degree="1" main-degree="2" side-position="0" main-position="0">
57 <Abst name="Y" layer="2" side-degree="1" main-degree="2" side-position="0" main-position="1">
58 <Abst name="Y" layer="2" side-degree="1" main-degree="2" side-position="1" main-position="0">
59 <Abst name="Y" layer="2" side-degree="1" main-degree="2" side-position="1" main-position="1">