1 files changed, 183 insertions, 0 deletions
diff --git a/books/workshops/1999/ivy/ivy-v2/ivy-sources/Include-graph.fig b/books/workshops/1999/ivy/ivy-v2/ivy-sources/Include-graph.fig
new file mode 100644
index 0000000..5db63c1
--- /dev/null
+++ b/books/workshops/1999/ivy/ivy-v2/ivy-sources/Include-graph.fig
@@ -0,0 +1,183 @@
+#FIG 3.2
+Landscape
+Center
+Inches
+Letter  
+100.00
+Single
+-2
+1200 2
+2 1 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 2
+	 6075 9675 6525 9375
+2 1 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 2
+	 6675 8400 6900 8175
+2 1 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 2
+	 6525 7575 7050 7875
+2 1 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 2
+	 6375 7275 4950 6675
+2 1 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 2
+	 7050 7875 10950 6825
+2 1 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 2
+	 9150 6750 6525 7275
+2 1 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 2
+	 6075 9675 5400 8625
+2 1 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 2
+	 5325 8325 6375 7575
+2 1 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 2
+	 4875 6375 4575 5925
+2 1 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 2
+	 4425 5625 4500 5175
+2 1 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 2
+	 6450 7275 5850 5625
+2 1 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 2
+	 6450 7200 6600 6975
+2 1 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 2
+	 6750 6750 6825 6525
+2 1 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 2
+	 4575 4875 6225 3675
+2 1 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 2
+	 6075 5325 6225 3750
+2 1 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 2
+	 6900 6525 9150 8925
+2 1 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 2
+	 9225 6750 9225 8850
+2 1 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 2
+	 10950 6825 9225 8925
+2 1 0 1 0 7 100 0 -1 0.000 0 0 -1 0 0 2
+	 6600 8775 6525 9075
+2 1 2 1 0 7 100 0 -1 3.000 0 0 -1 0 0 2
+	 6825 6225 7950 6075
+2 1 2 1 0 7 100 0 -1 3.000 0 0 -1 0 0 2
+	 6825 6225 6900 5925
+2 1 2 1 0 7 100 0 -1 3.000 0 0 -1 0 0 2
+	 6825 6225 6150 5625
+2 1 2 1 0 7 100 0 -1 3.000 0 0 -1 0 0 2
+	 6825 6225 4875 5925
+2 1 0 1 0 7 100 0 -1 3.000 0 0 -1 0 0 2
+	 6375 3675 8025 5775
+2 1 0 1 0 7 100 0 -1 3.000 0 0 -1 0 0 2
+	 3150 6450 6300 7275
+2 1 0 1 0 7 100 0 -1 3.000 0 0 -1 0 0 2
+	 6300 7275 2325 6675
+2 1 0 1 0 7 100 0 -1 3.000 0 0 -1 0 0 2
+	 6750 7950 1575 6825
+2 1 0 1 0 7 100 0 -1 3.000 0 0 -1 0 0 2
+	 6000 1500 1500 6525
+2 1 0 1 0 7 100 0 -1 3.000 0 0 -1 0 0 2
+	 2325 6375 6000 1575
+2 1 0 1 0 7 100 0 -1 3.000 0 0 -1 0 0 2
+	 6000 1650 3075 6150
+2 1 0 1 0 7 100 0 -1 3.000 0 0 -1 0 0 2
+	 6975 5625 6300 3750
+2 1 0 1 0 7 100 0 -1 3.000 0 0 -1 0 0 2
+	 7950 6075 6525 7275
+2 1 0 1 0 7 100 0 -1 3.000 0 0 -1 0 0 2
+	 6075 1725 6225 3375
+2 1 0 1 0 7 100 0 -1 3.000 0 0 -1 0 0 2
+	 6150 1650 9150 6150
+2 1 0 1 0 7 100 0 -1 3.000 0 0 -1 0 0 2
+	 6150 1575 10875 6225
+2 1 0 1 0 7 0 0 -1 0.000 0 0 -1 0 0 2
+	 7350 5400 7050 5100
+2 1 0 1 0 7 0 0 -1 0.000 0 0 -1 0 0 2
+	 6975 4800 6375 3750
+2 1 0 1 0 7 0 0 -1 3.000 0 0 -1 0 0 2
+	 750 6450 5925 1500
+2 1 0 1 0 7 0 0 -1 3.000 0 0 -1 0 0 2
+	 750 7050 6600 7950
+2 1 0 1 0 7 0 0 -1 3.000 0 0 -1 0 0 2
+	 6645 7226 8160 6641
+2 1 0 1 0 7 0 0 -1 3.000 0 0 -1 0 0 2
+	 690 7046 4215 8276
+2 3 0 1 0 7 0 0 -1 3.000 0 0 -1 0 0 5
+	 10920 6206 10320 6506 10920 6806 11520 6506 10920 6206
+2 3 0 1 0 7 0 0 -1 3.000 0 0 -1 0 0 5
+	 9225 6131 8625 6431 9225 6731 9825 6431 9225 6131
+2 3 0 1 0 7 0 0 -1 3.000 0 0 -1 0 0 5
+	 660 6446 60 6746 660 7046 1260 6746 660 6446
+2 1 0 1 0 7 0 0 -1 3.000 0 0 -1 0 0 2
+	 8625 1781 8100 2096
+2 1 0 1 0 7 0 0 -1 3.000 0 0 -1 0 0 1
+	 8625 1781
+2 1 0 1 0 7 0 0 -1 3.000 0 0 -1 0 0 2
+	 8640 1811 8250 2096
+2 1 0 1 0 7 0 0 -1 3.000 0 0 -1 0 0 2
+	 8640 1826 8475 2156
+2 1 0 1 0 7 0 0 -1 3.000 0 0 -1 0 0 2
+	 8640 1841 8670 2216
+2 1 0 1 0 7 0 0 -1 3.000 0 0 -1 0 0 2
+	 8625 1826 8970 2231
+2 1 0 1 0 7 0 0 -1 3.000 0 0 -1 0 0 2
+	 8700 1841 9180 2261
+2 1 0 1 0 7 0 0 -1 3.000 0 0 -1 0 0 2
+	 7440 1196 8535 1556
+2 1 0 1 0 7 0 0 -1 3.000 0 0 -1 0 0 2
+	 6420 1361 7395 1211
+2 1 0 1 0 7 0 0 -1 3.000 0 0 -1 0 0 2
+	 8640 1856 8310 2186
+2 1 0 1 0 7 0 0 -1 3.000 0 0 -1 0 0 2
+	 6120 9911 6900 10061
+2 1 0 1 0 7 0 0 -1 3.000 0 0 -1 0 0 2
+	 6960 10046 8805 9236
+2 1 0 1 0 7 0 0 -1 3.000 0 0 -1 0 0 2
+	 4650 9236 5940 9671
+3 2 0 1 0 7 100 0 -1 0.000 0 0 0 3
+	 6450 7275 6450 6450 6750 5925
+	 0.000 -1.000 0.000
+3 2 0 1 0 7 0 0 -1 0.000 0 0 0 3
+	 6525 7200 7350 6375 7425 5625
+	 0.000 -1.000 0.000
+3 2 2 1 0 7 0 0 -1 3.000 0 0 0 3
+	 6825 6225 7275 5925 7425 5625
+	 0.000 -1.000 0.000
+3 2 0 1 0 7 0 0 -1 3.000 0 0 0 3
+	 8445 6446 8385 5591 6150 1856
+	 0.000 -1.000 0.000
+3 0 0 1 0 7 0 0 -1 3.000 0 0 0 5
+	 4275 8261 4380 7241 3645 6206 3510 5666 4335 5201
+	 0.000 1.000 1.000 1.000 0.000
+3 0 0 1 0 7 0 0 -1 3.000 0 0 0 4
+	 4350 8291 5685 7556 7350 7631 9135 6821
+	 0.000 1.000 1.000 0.000
+3 0 2 1 0 7 0 0 -1 3.000 0 0 0 4
+	 4890 6431 4125 6116 1410 7586 690 7106
+	 0.000 1.000 1.000 0.000
+3 0 0 1 0 7 0 0 -1 3.000 0 0 0 4
+	 9210 8951 7860 8276 1740 7736 735 7166
+	 0.000 1.000 1.000 0.000
+4 0 0 0 0 0 12 0.0000 4 135 630 300 6825 skolem*\001
+4 0 0 0 0 0 12 0.0000 4 135 240 1350 6750 cnf\001
+4 0 0 0 0 0 12 0.0000 4 180 600 2025 6600 simplify\001
+4 0 0 0 0 0 12 0.0000 4 135 240 3000 6375 nnf\001
+4 0 0 0 0 0 12 0.0000 4 135 1305 3675 5850 instance-closure\001
+4 0 0 0 0 0 12 0.0000 4 135 900 4200 5100 substitution\001
+4 0 0 0 0 0 12 0.0000 4 135 465 6000 3600 derive\001
+4 0 0 0 0 0 12 0.0000 4 180 1110 5250 5550 prop-subsume\001
+4 0 0 0 0 0 12 0.0000 4 135 555 6750 5850 resolve\001
+4 0 0 0 0 0 12 0.0000 4 180 600 7650 6000 uc-conj\001
+4 0 0 0 0 0 12 0.0000 4 135 405 6600 6450 close\001
+4 0 0 0 0 0 12 0.0000 4 135 405 6450 6900 keval\001
+4 0 0 0 0 0 12 0.0000 4 150 420 6150 7500 stage\001
+4 0 0 0 0 0 12 0.0000 4 180 585 6600 8100 wfftype\001
+4 0 0 0 0 0 12 0.0000 4 135 270 6450 8700 alls\001
+4 0 0 0 0 0 12 0.0000 4 135 690 6000 9300 variables\001
+4 0 0 0 0 0 12 0.0000 4 135 405 5100 8550 xeval\001
+4 0 0 0 0 0 12 0.0000 4 180 990 8550 9150 permutations\001
+4 0 0 0 0 0 12 0.0000 4 135 645 8850 6525 rename*\001
+4 0 0 0 0 0 12 0.0000 4 180 360 10800 6600 pull*\001
+4 0 0 0 0 0 12 0.0000 4 180 645 7125 5550 paramod\001
+4 0 0 0 0 0 12 0.0000 4 180 240 6900 5025 flip\001
+4 0 0 0 0 0 12 0.0000 4 135 645 4500 6600 instance\001
+4 0 0 0 0 0 12 0.0000 4 180 900 7725 6600 right-assoc\001
+4 0 0 0 0 0 12 0.0000 4 180 780 3825 8516 gensym-d\001
+4 0 0 0 0 0 12 0.0000 4 135 1440 420 8816 *Contains diamond\001
+4 0 0 0 0 0 12 0.0000 4 180 1365 420 9041  shaped subgraph.\001
+4 0 0 0 0 0 12 0.0000 4 180 1695 465 9671 Dotted lines represent\001
+4 0 0 0 0 0 12 0.0000 4 135 1080 465 9896 local includes.\001
+4 0 0 0 0 0 12 0.0000 4 135 600 8385 1721 modeler\001
+4 0 0 0 0 0 12 0.0000 4 150 240 7290 1136 top\001
+4 0 0 0 0 0 12 0.0000 4 135 480 6060 1515 prover\001
+4 0 0 0 0 0 12 0.0000 4 180 1380 7890 2486 (similar to prover)\001
+4 0 0 0 0 0 12 0.0000 4 105 330 6780 10215 sets\001
+4 0 0 0 0 0 12 0.0000 4 135 360 5925 9840 base\001
+4 0 0 0 0 0 12 0.0000 4 135 420 4410 9176 sugar\001