X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fpxp%2Fpxp%2Fdoc%2Fmanual%2Fsrc%2Fpic%2Fnode_clone.fig;fp=helm%2FDEVEL%2Fpxp%2Fpxp%2Fdoc%2Fmanual%2Fsrc%2Fpic%2Fnode_clone.fig;h=ed1865f8705b890414519212935eb8875f76b3a1;hb=c03d2c1fdab8d228cb88aaba5ca0f556318bebc5;hp=0000000000000000000000000000000000000000;hpb=758057e85325f94cd88583feb1fdf6b038e35055;p=helm.git

diff --git a/helm/DEVEL/pxp/pxp/doc/manual/src/pic/node_clone.fig b/helm/DEVEL/pxp/pxp/doc/manual/src/pic/node_clone.fig
new file mode 100644
index 000000000..ed1865f87
--- /dev/null
+++ b/helm/DEVEL/pxp/pxp/doc/manual/src/pic/node_clone.fig
@@ -0,0 +1,111 @@
+#FIG 3.2
+Portrait
+Center
+Metric
+A4      
+100.00
+Single
+-2
+1200 2
+1 3 0 1 0 7 95 0 15 4.000 1 0.0000 2700 1800 229 229 2700 1800 2925 1845
+1 3 0 1 0 7 95 0 15 4.000 1 0.0000 2025 2700 229 229 2025 2700 2250 2745
+1 3 0 1 0 7 95 0 15 4.000 1 0.0000 3375 2700 229 229 3375 2700 3600 2745
+1 3 0 1 0 7 95 0 15 4.000 1 0.0000 6345 1800 229 229 6345 1800 6570 1845
+1 3 0 1 0 7 95 0 15 4.000 1 0.0000 5670 2700 229 229 5670 2700 5895 2745
+1 3 0 1 0 7 95 0 15 4.000 1 0.0000 7020 2700 229 229 7020 2700 7245 2745
+1 3 0 1 0 7 95 0 10 4.000 1 0.0000 8325 1800 229 229 8325 1800 8550 1845
+1 3 0 1 0 7 95 0 10 4.000 1 0.0000 7875 2700 229 229 7875 2700 8100 2745
+1 3 0 1 0 7 95 0 10 4.000 1 0.0000 8775 2700 229 229 8775 2700 9000 2745
+1 3 0 1 0 7 95 0 10 4.000 1 0.0000 6345 2700 229 229 6345 2700 6570 2745
+1 3 0 1 0 7 95 0 10 4.000 1 0.0000 5895 3600 229 229 5895 3600 6120 3645
+1 3 0 1 0 7 95 0 10 4.000 1 0.0000 6795 3600 229 229 6795 3600 7020 3645
+1 3 0 1 0 7 95 0 10 4.000 1 0.0000 2700 2700 229 229 2700 2700 2925 2745
+1 3 0 1 0 7 95 0 10 4.000 1 0.0000 2250 3600 229 229 2250 3600 2475 3645
+1 3 0 1 0 7 95 0 10 4.000 1 0.0000 3150 3600 229 229 3150 3600 3375 3645
+2 1 0 5 0 7 95 0 -1 12.000 1 0 -1 0 0 2
+	 4050 2610 4725 2610
+2 1 0 5 0 7 95 0 -1 12.000 1 0 -1 0 0 2
+	 4050 2745 4725 2745
+2 1 0 5 0 7 95 0 -1 12.000 1 1 -1 0 0 3
+	 4500 2385 4950 2655 4500 2970
+2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
+	1 1 1.00 60.00 120.00
+	 2490 1905 2025 2467
+2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
+	1 1 1.00 60.00 120.00
+	 2827 2002 3202 2542
+2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
+	1 0 1.00 60.00 120.00
+	 2115 2475 2535 1965
+2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
+	1 0 1.00 60.00 120.00
+	 3255 2505 2872 1957
+2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
+	1 1 1.00 60.00 120.00
+	 6135 1905 5670 2467
+2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
+	1 1 1.00 60.00 120.00
+	 6472 2002 6847 2542
+2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
+	1 0 1.00 60.00 120.00
+	 5760 2475 6180 1965
+2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
+	1 0 1.00 60.00 120.00
+	 6900 2505 6517 1957
+2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
+	1 1 1.00 60.00 120.00
+	 8160 1957 7860 2460
+2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
+	1 1 1.00 60.00 120.00
+	 8407 2032 8625 2520
+2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
+	1 0 1.00 60.00 120.00
+	 7942 2467 8212 2010
+2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
+	1 0 1.00 60.00 120.00
+	 8685 2475 8467 1987
+2 2 0 1 0 7 80 0 -1 4.000 0 0 -1 0 0 5
+	 1575 1350 9225 1350 9225 4050 1575 4050 1575 1350
+2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
+	1 0 1.00 60.00 120.00
+	 6382 2460 6382 2032
+2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
+	1 1 1.00 60.00 120.00
+	 6307 2032 6307 2467
+2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
+	1 1 1.00 60.00 120.00
+	 6180 2857 5880 3360
+2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
+	1 1 1.00 60.00 120.00
+	 6427 2932 6645 3420
+2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
+	1 0 1.00 60.00 120.00
+	 5962 3367 6232 2910
+2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
+	1 0 1.00 60.00 120.00
+	 6705 3375 6487 2887
+2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
+	1 0 1.00 60.00 120.00
+	 2737 2460 2737 2032
+2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
+	1 1 1.00 60.00 120.00
+	 2662 2032 2662 2467
+2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
+	1 1 1.00 60.00 120.00
+	 2535 2857 2235 3360
+2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
+	1 1 1.00 60.00 120.00
+	 2782 2932 3000 3420
+2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
+	1 0 1.00 60.00 120.00
+	 2317 3367 2587 2910
+2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
+	1 0 1.00 60.00 120.00
+	 3060 3375 2842 2887
+4 0 0 80 0 14 12 0.0000 4 105 105 2655 1845 y\001
+4 0 0 80 0 14 12 0.0000 4 105 105 6300 1845 y\001
+4 0 0 80 0 14 12 0.0000 4 75 105 6285 2752 x\001
+4 0 0 80 0 14 12 0.0000 4 75 105 2640 2752 x\001
+4 0 0 80 0 12 12 0.0000 4 105 840 3690 2025 let x' =\001
+4 0 0 80 0 12 12 0.0000 4 150 1890 3690 2205 x # orphaned_clone\001
+4 0 0 80 0 14 12 0.0000 4 105 210 8235 1845 x'\001