Added new calculus

diff --git a/calculus/main.aux b/calculus/main.aux
new file mode 100644 (file)
index 0000000..b8a33e5
--- /dev/null
+++ b/calculus/main.aux
@@ -0,0 +1,5 @@
+\relax \r
+\select@language{english}\r
+\@writefile{toc}{\select@language{english}}\r
+\@writefile{lof}{\select@language{english}}\r
+\@writefile{lot}{\select@language{english}}\r

diff --git a/calculus/main.fdb_latexmk b/calculus/main.fdb_latexmk
new file mode 100644 (file)
index 0000000..d484be9
--- /dev/null
+++ b/calculus/main.fdb_latexmk
@@ -0,0 +1,64 @@
+# Fdb version 3\r
+["pdflatex"] 1499443424 "main.tex" "main.pdf" "main" 1499443425\r
+  "C:/Program Files (x86)/MiKTeX 2.9/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm" 1233955448 1004 54797486969f23fa377b128694d548df ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/fonts/tfm/public/amsfonts/symbols/msam10.tfm" 1233955454 916 f87d7c45f9c908e672703b83b72241a3 ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/fonts/tfm/public/amsfonts/symbols/msam5.tfm" 1233955454 924 9904cf1d39e9767e7a3622f2a125a565 ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/fonts/tfm/public/amsfonts/symbols/msam7.tfm" 1233955454 928 2dc8d444221b7a635bb58038579b861a ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/fonts/tfm/public/amsfonts/symbols/msbm10.tfm" 1233955454 908 2921f8a10601f252058503cc6570e581 ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/fonts/tfm/public/amsfonts/symbols/msbm5.tfm" 1233955454 940 75ac932a52f80982a9f8ea75d03a34cf ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/fonts/tfm/public/amsfonts/symbols/msbm7.tfm" 1233955454 940 228d6584342e91276bf566bcf9716b83 ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/fonts/tfm/public/latex-fonts/lasy6.tfm" 1136768653 520 4889cce2180234b97cad636b6039c722 ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmex10.pfb" 1247596667 30251 6afa5cb1d0204815a708a080681d4674 ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmmi10.pfb" 1247596667 36299 5f9df58c2139e7edcf37c8fca4bd384d ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmmi5.pfb" 1247596667 37912 07513ec114ac737ab54cea0152f4424b ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmmi7.pfb" 1247596667 36281 c355509802a035cadc5f15869451dcee ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmr10.pfb" 1247596667 35752 024fb6c41858982481f6968b5fc26508 ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmr7.pfb" 1247596667 32762 7fee39e011c23b3589931effd97b9702 ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmsy10.pfb" 1247596667 32569 5e5ddc8df908dea60932f3c484a54c0d ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/tex/context/base/supp-pdf.mkii" 1306918461 71592 fe353e1fbd982ffc647f3e98ff74da96 ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/tex/generic/babel/babel.def" 1461657393 51602 8190990703f12b57db0dfe9b839e1e24 ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/tex/generic/babel/babel.sty" 1461657393 13862 2379954ebbdf3db89eccb32499d2da36 ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/tex/generic/oberdiek/infwarerr.sty" 1465497378 8253 473e0e41f9adadb1977e8631b8f72ea6 ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/tex/generic/oberdiek/ltxcmds.sty" 1465497378 18425 5b3c0c59d76fac78978b5558e83c1f36 ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/algorithm2e/algorithm2e.sty" 1447057737 164989 3237f4d4426874d9a69857464c581861 ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amscls/amsthm.sty" 1425936400 12225 3cca0d18522255979a1047206228b9d0 ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsfonts/amsfonts.sty" 1358201372 5949 3f3fd50a8cc94c3d4cbf4fc66cd3df1c ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsfonts/amssymb.sty" 1358201372 13829 94730e64147574077f8ecfea9bb69af4 ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsfonts/umsa.fd" 1358201372 961 6518c6525a34feb5e8250ffa91731cff ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsfonts/umsb.fd" 1358201372 961 d02606146ba5601b5645f987c92e6193 ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsmath/amsbsy.sty" 1485166067 2282 5c54ab129b848a5071554186d0168766 ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsmath/amsgen.sty" 1485166068 4296 c115536cf8d4ff25aa8c1c9bc4ecb79a ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsmath/amsmath.sty" 1485166068 87150 81aa65c5042562f79cb421feff9b8bdc ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsmath/amsopn.sty" 1485166068 4232 318a66090112f3aa3f415aeb6fe8540f ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsmath/amstext.sty" 1485166068 2507 fe3078ec12fc30287f568596f8e0b948 ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/arabi/bblopts.cfg" 1139965200 902 c30e5c373bc58bde21f8f63a3091626f ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/babel-english/english.ldf" 1485335993 7219 fd11ed3b832df052a4adb2c56e472748 ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/article.cls" 1485378202 19821 310da678527a7dfe2a02c88af38079b7 ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/ifthen.sty" 1485378204 5159 a08c9bbd48fc492f15b22e458bef961f ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/inputenc.sty" 1485378204 4732 d63eda807ac82cca2ca8488efd31a966 ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/omsenc.dfu" 1485378202 2004 b59846258a6c54fecbe43d981c7a8310 ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/ot1enc.dfu" 1485378202 3181 f6d8c97e5b5009a3b4a1e34490b9aa0d ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/size10.clo" 1485378202 8292 e897c12e1e886ce77fe26afc5d470886 ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/t1enc.dfu" 1485378202 11059 f4f43783cf4a8ffee1b201d897840536 ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/utf8.def" 1485378202 7784 02e454c0f50491e8730511d8fcc96a47 ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/graphics-cfg/color.cfg" 1465894292 1213 620bba36b25224fa9b7e1ccb4ecb76fd ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/graphics-def/pdftex.def" 1485037086 58250 3792a9d2d1d664ee8c742498e295b051 ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/ltxmisc/relsize.sty" 1068050100 16969 b414bd18cf77ed8750f7d9fe3c40418e ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/stmaryrd/stmaryrd.sty" 1303229068 11317 aa7f81da60ce104f0dbb8b827dd14383 ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/stmaryrd/ustmry.fd" 1303229068 1811 216b0f832c406513647608b5bb9bb8ff ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/tools/verbatim.sty" 1485166209 7476 cf839ee7f0c2bfc711b0b88970764569 ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/tools/xspace.sty" 1485166209 4696 8b8f59969458e1c25e0559e8e0ced1a4 ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/ulem/ulem.sty" 1338509872 23756 854c01b779030ff5b2aad88ba7a119f2 ""\r
+  "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/xcolor/xcolor.sty" 1463135581 57049 34128738f682d033422ca125f82e5d62 ""\r
+  "C:/Users/Andrea/AppData/Local/MiKTeX/2.9/fonts/tfm/public/stmaryrd/stmary10.tfm" 1459156115 848 f478e0761563bbc369eca609a1741348 ""\r
+  "C:/Users/Andrea/AppData/Local/MiKTeX/2.9/fonts/tfm/public/stmaryrd/stmary5.tfm" 1459178148 848 e1bc58a31b9ed9c3729ffea165acfaac ""\r
+  "C:/Users/Andrea/AppData/Local/MiKTeX/2.9/fonts/tfm/public/stmaryrd/stmary7.tfm" 1459178148 848 26631fcb3e4cb6757598b9cda7967b63 ""\r
+  "C:/Users/Andrea/AppData/Local/MiKTeX/2.9/miktex/data/le/pdftex/pdflatex.fmt" 1485961583 3798687 ee6c887e76b7ccc2b88963d3b9863ad2 ""\r
+  "C:/Users/Andrea/AppData/Local/MiKTeX/2.9/pdftex/config/pdftex.map" 1485960852 76218 a1e12baf46bff3504155a215550a7bc5 ""\r
+  "main.aux" 1499443425 171 db7e845c9605d9d9013124913d023cfd ""\r
+  "main.tex" 1499443424 1306 f355b70e439401843d05b29f2819d6bf ""\r
+  "preambolo.tex" 1499442215 536 b8c123cb420b7b9c87abf01f17211cb7 ""\r
+  (generated)\r
+  "main.aux"\r
+  "main.log"\r
+  "main.pdf"\r

diff --git a/calculus/main.fls b/calculus/main.fls
new file mode 100644 (file)
index 0000000..1eb5dd6
--- /dev/null
+++ b/calculus/main.fls
@@ -0,0 +1,107 @@
+PWD C:/Users/Andrea/Documents/Dottorato/git/fireball-separation/calculus\r
+INPUT C:/Users/Andrea/AppData/Local/MiKTeX/2.9/miktex/data/le/pdftex/pdflatex.fmt\r
+INPUT main.tex\r
+OUTPUT main.log\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/article.cls\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/article.cls\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/size10.clo\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/size10.clo\r
+INPUT preambolo.tex\r
+INPUT preambolo.tex\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/generic/babel/babel.sty\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/generic/babel/babel.sty\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/arabi/bblopts.cfg\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/arabi/bblopts.cfg\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/babel-english/english.ldf\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/babel-english/english.ldf\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/generic/babel/babel.def\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/inputenc.sty\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/inputenc.sty\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/utf8.def\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/utf8.def\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/t1enc.dfu\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/t1enc.dfu\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/ot1enc.dfu\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/ot1enc.dfu\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/omsenc.dfu\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/omsenc.dfu\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsmath/amsmath.sty\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsmath/amsmath.sty\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsmath/amstext.sty\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsmath/amstext.sty\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsmath/amsgen.sty\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsmath/amsgen.sty\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsmath/amsbsy.sty\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsmath/amsbsy.sty\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsmath/amsopn.sty\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsmath/amsopn.sty\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amscls/amsthm.sty\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amscls/amsthm.sty\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsfonts/amssymb.sty\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsfonts/amssymb.sty\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsfonts/amsfonts.sty\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsfonts/amsfonts.sty\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/algorithm2e/algorithm2e.sty\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/algorithm2e/algorithm2e.sty\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/ifthen.sty\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/ifthen.sty\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/tools/xspace.sty\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/tools/xspace.sty\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/ltxmisc/relsize.sty\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/ltxmisc/relsize.sty\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/tools/verbatim.sty\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/tools/verbatim.sty\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/xcolor/xcolor.sty\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/xcolor/xcolor.sty\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/graphics-cfg/color.cfg\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/graphics-cfg/color.cfg\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/graphics-def/pdftex.def\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/graphics-def/pdftex.def\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/generic/oberdiek/infwarerr.sty\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/generic/oberdiek/infwarerr.sty\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/generic/oberdiek/ltxcmds.sty\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/generic/oberdiek/ltxcmds.sty\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/stmaryrd/stmaryrd.sty\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/stmaryrd/stmaryrd.sty\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/ulem/ulem.sty\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/ulem/ulem.sty\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/fonts/tfm/public/latex-fonts/lasy6.tfm\r
+INPUT main.aux\r
+INPUT main.aux\r
+OUTPUT main.aux\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/context/base/supp-pdf.mkii\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/context/base/supp-pdf.mkii\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsfonts/umsa.fd\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsfonts/umsa.fd\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/fonts/tfm/public/amsfonts/symbols/msam10.tfm\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/fonts/tfm/public/amsfonts/symbols/msam7.tfm\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/fonts/tfm/public/amsfonts/symbols/msam5.tfm\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsfonts/umsb.fd\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsfonts/umsb.fd\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/fonts/tfm/public/amsfonts/symbols/msbm10.tfm\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/fonts/tfm/public/amsfonts/symbols/msbm7.tfm\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/fonts/tfm/public/amsfonts/symbols/msbm5.tfm\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/stmaryrd/ustmry.fd\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/stmaryrd/ustmry.fd\r
+INPUT C:/Users/Andrea/AppData/Local/MiKTeX/2.9/fonts/tfm/public/stmaryrd/stmary10.tfm\r
+INPUT C:/Users/Andrea/AppData/Local/MiKTeX/2.9/fonts/tfm/public/stmaryrd/stmary7.tfm\r
+INPUT C:/Users/Andrea/AppData/Local/MiKTeX/2.9/fonts/tfm/public/stmaryrd/stmary5.tfm\r
+OUTPUT main.pdf\r
+INPUT C:/Users/Andrea/AppData/Local/MiKTeX/2.9/pdftex/config/pdftex.map\r
+INPUT main.aux\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmex10.pfb\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmex10.pfb\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmmi10.pfb\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmmi10.pfb\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmmi5.pfb\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmmi5.pfb\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmmi7.pfb\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmmi7.pfb\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmr10.pfb\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmr10.pfb\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmr7.pfb\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmr7.pfb\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmsy10.pfb\r
+INPUT C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmsy10.pfb\r

diff --git a/calculus/main.log b/calculus/main.log
new file mode 100644 (file)
index 0000000..94a5390
--- /dev/null
+++ b/calculus/main.log
@@ -0,0 +1,620 @@
+This is pdfTeX, Version 3.14159265-2.6-1.40.17 (MiKTeX 2.9.6210) (preloaded format=pdflatex 2017.2.1)  7 JUL 2017 18:03\r
+entering extended mode\r
+**./main.tex\r
+(main.tex\r
+LaTeX2e <2017/01/01> patch level 1\r
+Babel <3.9r> and hyphenation patterns for 72 language(s) loaded.\r
+("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\base\article.cls"\r
+Document Class: article 2014/09/29 v1.4h Standard LaTeX document class\r
+("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\base\size10.clo"\r
+File: size10.clo 2014/09/29 v1.4h Standard LaTeX file (size option)\r
+)\r
+\c@part=\count79\r
+\c@section=\count80\r
+\c@subsection=\count81\r
+\c@subsubsection=\count82\r
+\c@paragraph=\count83\r
+\c@subparagraph=\count84\r
+\c@figure=\count85\r
+\c@table=\count86\r
+\abovecaptionskip=\skip41\r
+\belowcaptionskip=\skip42\r
+\bibindent=\dimen102\r
+) (preambolo.tex ("C:\Program Files (x86)\MiKTeX 2.9\tex\generic\babel\babel.st\r
+y"\r
+Package: babel 2016/04/23 3.9r The Babel package\r
+\r
+*************************************\r
+* Local config file bblopts.cfg used\r
+*\r
+("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\arabi\bblopts.cfg"\r
+File: bblopts.cfg 2005/09/08 v0.1 add Arabic and Farsi to "declared" options of\r
+ babel\r
+)\r
+("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\babel-english\english.ldf"\r
+Language: english 2017/01/24 v3.3q English support from the babel system\r
+\r
+("C:\Program Files (x86)\MiKTeX 2.9\tex\generic\babel\babel.def"\r
+File: babel.def 2016/04/23 3.9r Babel common definitions\r
+\babel@savecnt=\count87\r
+\U@D=\dimen103\r
+)\r
+\l@american = a dialect from \language\l@english \r
+\l@canadian = a dialect from \language\l@american \r
+\l@australian = a dialect from \language\l@british \r
+\l@newzealand = a dialect from \language\l@british \r
+))\r
+("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\base\inputenc.sty"\r
+Package: inputenc 2015/03/17 v1.2c Input encoding file\r
+\inpenc@prehook=\toks14\r
+\inpenc@posthook=\toks15\r
+\r
+("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\base\utf8.def"\r
+File: utf8.def 2016/02/28 v1.1s UTF-8 support for inputenc\r
+Now handling font encoding OML ...\r
+... no UTF-8 mapping file for font encoding OML\r
+Now handling font encoding T1 ...\r
+... processing UTF-8 mapping file for font encoding T1\r
+\r
+("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\base\t1enc.dfu"\r
+File: t1enc.dfu 2016/02/28 v1.1s UTF-8 support for inputenc\r
+   defining Unicode char U+00A0 (decimal 160)\r
+   defining Unicode char U+00A1 (decimal 161)\r
+   defining Unicode char U+00A3 (decimal 163)\r
+   defining Unicode char U+00AB (decimal 171)\r
+   defining Unicode char U+00AD (decimal 173)\r
+   defining Unicode char U+00BB (decimal 187)\r
+   defining Unicode char U+00BF (decimal 191)\r
+   defining Unicode char U+00C0 (decimal 192)\r
+   defining Unicode char U+00C1 (decimal 193)\r
+   defining Unicode char U+00C2 (decimal 194)\r
+   defining Unicode char U+00C3 (decimal 195)\r
+   defining Unicode char U+00C4 (decimal 196)\r
+   defining Unicode char U+00C5 (decimal 197)\r
+   defining Unicode char U+00C6 (decimal 198)\r
+   defining Unicode char U+00C7 (decimal 199)\r
+   defining Unicode char U+00C8 (decimal 200)\r
+   defining Unicode char U+00C9 (decimal 201)\r
+   defining Unicode char U+00CA (decimal 202)\r
+   defining Unicode char U+00CB (decimal 203)\r
+   defining Unicode char U+00CC (decimal 204)\r
+   defining Unicode char U+00CD (decimal 205)\r
+   defining Unicode char U+00CE (decimal 206)\r
+   defining Unicode char U+00CF (decimal 207)\r
+   defining Unicode char U+00D0 (decimal 208)\r
+   defining Unicode char U+00D1 (decimal 209)\r
+   defining Unicode char U+00D2 (decimal 210)\r
+   defining Unicode char U+00D3 (decimal 211)\r
+   defining Unicode char U+00D4 (decimal 212)\r
+   defining Unicode char U+00D5 (decimal 213)\r
+   defining Unicode char U+00D6 (decimal 214)\r
+   defining Unicode char U+00D8 (decimal 216)\r
+   defining Unicode char U+00D9 (decimal 217)\r
+   defining Unicode char U+00DA (decimal 218)\r
+   defining Unicode char U+00DB (decimal 219)\r
+   defining Unicode char U+00DC (decimal 220)\r
+   defining Unicode char U+00DD (decimal 221)\r
+   defining Unicode char U+00DE (decimal 222)\r
+   defining Unicode char U+00DF (decimal 223)\r
+   defining Unicode char U+00E0 (decimal 224)\r
+   defining Unicode char U+00E1 (decimal 225)\r
+   defining Unicode char U+00E2 (decimal 226)\r
+   defining Unicode char U+00E3 (decimal 227)\r
+   defining Unicode char U+00E4 (decimal 228)\r
+   defining Unicode char U+00E5 (decimal 229)\r
+   defining Unicode char U+00E6 (decimal 230)\r
+   defining Unicode char U+00E7 (decimal 231)\r
+   defining Unicode char U+00E8 (decimal 232)\r
+   defining Unicode char U+00E9 (decimal 233)\r
+   defining Unicode char U+00EA (decimal 234)\r
+   defining Unicode char U+00EB (decimal 235)\r
+   defining Unicode char U+00EC (decimal 236)\r
+   defining Unicode char U+00ED (decimal 237)\r
+   defining Unicode char U+00EE (decimal 238)\r
+   defining Unicode char U+00EF (decimal 239)\r
+   defining Unicode char U+00F0 (decimal 240)\r
+   defining Unicode char U+00F1 (decimal 241)\r
+   defining Unicode char U+00F2 (decimal 242)\r
+   defining Unicode char U+00F3 (decimal 243)\r
+   defining Unicode char U+00F4 (decimal 244)\r
+   defining Unicode char U+00F5 (decimal 245)\r
+   defining Unicode char U+00F6 (decimal 246)\r
+   defining Unicode char U+00F8 (decimal 248)\r
+   defining Unicode char U+00F9 (decimal 249)\r
+   defining Unicode char U+00FA (decimal 250)\r
+   defining Unicode char U+00FB (decimal 251)\r
+   defining Unicode char U+00FC (decimal 252)\r
+   defining Unicode char U+00FD (decimal 253)\r
+   defining Unicode char U+00FE (decimal 254)\r
+   defining Unicode char U+00FF (decimal 255)\r
+   defining Unicode char U+0100 (decimal 256)\r
+   defining Unicode char U+0101 (decimal 257)\r
+   defining Unicode char U+0102 (decimal 258)\r
+   defining Unicode char U+0103 (decimal 259)\r
+   defining Unicode char U+0104 (decimal 260)\r
+   defining Unicode char U+0105 (decimal 261)\r
+   defining Unicode char U+0106 (decimal 262)\r
+   defining Unicode char U+0107 (decimal 263)\r
+   defining Unicode char U+0108 (decimal 264)\r
+   defining Unicode char U+0109 (decimal 265)\r
+   defining Unicode char U+010A (decimal 266)\r
+   defining Unicode char U+010B (decimal 267)\r
+   defining Unicode char U+010C (decimal 268)\r
+   defining Unicode char U+010D (decimal 269)\r
+   defining Unicode char U+010E (decimal 270)\r
+   defining Unicode char U+010F (decimal 271)\r
+   defining Unicode char U+0110 (decimal 272)\r
+   defining Unicode char U+0111 (decimal 273)\r
+   defining Unicode char U+0112 (decimal 274)\r
+   defining Unicode char U+0113 (decimal 275)\r
+   defining Unicode char U+0114 (decimal 276)\r
+   defining Unicode char U+0115 (decimal 277)\r
+   defining Unicode char U+0116 (decimal 278)\r
+   defining Unicode char U+0117 (decimal 279)\r
+   defining Unicode char U+0118 (decimal 280)\r
+   defining Unicode char U+0119 (decimal 281)\r
+   defining Unicode char U+011A (decimal 282)\r
+   defining Unicode char U+011B (decimal 283)\r
+   defining Unicode char U+011C (decimal 284)\r
+   defining Unicode char U+011D (decimal 285)\r
+   defining Unicode char U+011E (decimal 286)\r
+   defining Unicode char U+011F (decimal 287)\r
+   defining Unicode char U+0120 (decimal 288)\r
+   defining Unicode char U+0121 (decimal 289)\r
+   defining Unicode char U+0122 (decimal 290)\r
+   defining Unicode char U+0123 (decimal 291)\r
+   defining Unicode char U+0124 (decimal 292)\r
+   defining Unicode char U+0125 (decimal 293)\r
+   defining Unicode char U+0128 (decimal 296)\r
+   defining Unicode char U+0129 (decimal 297)\r
+   defining Unicode char U+012A (decimal 298)\r
+   defining Unicode char U+012B (decimal 299)\r
+   defining Unicode char U+012C (decimal 300)\r
+   defining Unicode char U+012D (decimal 301)\r
+   defining Unicode char U+012E (decimal 302)\r
+   defining Unicode char U+012F (decimal 303)\r
+   defining Unicode char U+0130 (decimal 304)\r
+   defining Unicode char U+0131 (decimal 305)\r
+   defining Unicode char U+0132 (decimal 306)\r
+   defining Unicode char U+0133 (decimal 307)\r
+   defining Unicode char U+0134 (decimal 308)\r
+   defining Unicode char U+0135 (decimal 309)\r
+   defining Unicode char U+0136 (decimal 310)\r
+   defining Unicode char U+0137 (decimal 311)\r
+   defining Unicode char U+0139 (decimal 313)\r
+   defining Unicode char U+013A (decimal 314)\r
+   defining Unicode char U+013B (decimal 315)\r
+   defining Unicode char U+013C (decimal 316)\r
+   defining Unicode char U+013D (decimal 317)\r
+   defining Unicode char U+013E (decimal 318)\r
+   defining Unicode char U+0141 (decimal 321)\r
+   defining Unicode char U+0142 (decimal 322)\r
+   defining Unicode char U+0143 (decimal 323)\r
+   defining Unicode char U+0144 (decimal 324)\r
+   defining Unicode char U+0145 (decimal 325)\r
+   defining Unicode char U+0146 (decimal 326)\r
+   defining Unicode char U+0147 (decimal 327)\r
+   defining Unicode char U+0148 (decimal 328)\r
+   defining Unicode char U+014A (decimal 330)\r
+   defining Unicode char U+014B (decimal 331)\r
+   defining Unicode char U+014C (decimal 332)\r
+   defining Unicode char U+014D (decimal 333)\r
+   defining Unicode char U+014E (decimal 334)\r
+   defining Unicode char U+014F (decimal 335)\r
+   defining Unicode char U+0150 (decimal 336)\r
+   defining Unicode char U+0151 (decimal 337)\r
+   defining Unicode char U+0152 (decimal 338)\r
+   defining Unicode char U+0153 (decimal 339)\r
+   defining Unicode char U+0154 (decimal 340)\r
+   defining Unicode char U+0155 (decimal 341)\r
+   defining Unicode char U+0156 (decimal 342)\r
+   defining Unicode char U+0157 (decimal 343)\r
+   defining Unicode char U+0158 (decimal 344)\r
+   defining Unicode char U+0159 (decimal 345)\r
+   defining Unicode char U+015A (decimal 346)\r
+   defining Unicode char U+015B (decimal 347)\r
+   defining Unicode char U+015C (decimal 348)\r
+   defining Unicode char U+015D (decimal 349)\r
+   defining Unicode char U+015E (decimal 350)\r
+   defining Unicode char U+015F (decimal 351)\r
+   defining Unicode char U+0160 (decimal 352)\r
+   defining Unicode char U+0161 (decimal 353)\r
+   defining Unicode char U+0162 (decimal 354)\r
+   defining Unicode char U+0163 (decimal 355)\r
+   defining Unicode char U+0164 (decimal 356)\r
+   defining Unicode char U+0165 (decimal 357)\r
+   defining Unicode char U+0168 (decimal 360)\r
+   defining Unicode char U+0169 (decimal 361)\r
+   defining Unicode char U+016A (decimal 362)\r
+   defining Unicode char U+016B (decimal 363)\r
+   defining Unicode char U+016C (decimal 364)\r
+   defining Unicode char U+016D (decimal 365)\r
+   defining Unicode char U+016E (decimal 366)\r
+   defining Unicode char U+016F (decimal 367)\r
+   defining Unicode char U+0170 (decimal 368)\r
+   defining Unicode char U+0171 (decimal 369)\r
+   defining Unicode char U+0172 (decimal 370)\r
+   defining Unicode char U+0173 (decimal 371)\r
+   defining Unicode char U+0174 (decimal 372)\r
+   defining Unicode char U+0175 (decimal 373)\r
+   defining Unicode char U+0176 (decimal 374)\r
+   defining Unicode char U+0177 (decimal 375)\r
+   defining Unicode char U+0178 (decimal 376)\r
+   defining Unicode char U+0179 (decimal 377)\r
+   defining Unicode char U+017A (decimal 378)\r
+   defining Unicode char U+017B (decimal 379)\r
+   defining Unicode char U+017C (decimal 380)\r
+   defining Unicode char U+017D (decimal 381)\r
+   defining Unicode char U+017E (decimal 382)\r
+   defining Unicode char U+01CD (decimal 461)\r
+   defining Unicode char U+01CE (decimal 462)\r
+   defining Unicode char U+01CF (decimal 463)\r
+   defining Unicode char U+01D0 (decimal 464)\r
+   defining Unicode char U+01D1 (decimal 465)\r
+   defining Unicode char U+01D2 (decimal 466)\r
+   defining Unicode char U+01D3 (decimal 467)\r
+   defining Unicode char U+01D4 (decimal 468)\r
+   defining Unicode char U+01E2 (decimal 482)\r
+   defining Unicode char U+01E3 (decimal 483)\r
+   defining Unicode char U+01E6 (decimal 486)\r
+   defining Unicode char U+01E7 (decimal 487)\r
+   defining Unicode char U+01E8 (decimal 488)\r
+   defining Unicode char U+01E9 (decimal 489)\r
+   defining Unicode char U+01EA (decimal 490)\r
+   defining Unicode char U+01EB (decimal 491)\r
+   defining Unicode char U+01F0 (decimal 496)\r
+   defining Unicode char U+01F4 (decimal 500)\r
+   defining Unicode char U+01F5 (decimal 501)\r
+   defining Unicode char U+0218 (decimal 536)\r
+   defining Unicode char U+0219 (decimal 537)\r
+   defining Unicode char U+021A (decimal 538)\r
+   defining Unicode char U+021B (decimal 539)\r
+   defining Unicode char U+1E02 (decimal 7682)\r
+   defining Unicode char U+1E03 (decimal 7683)\r
+   defining Unicode char U+200C (decimal 8204)\r
+   defining Unicode char U+2010 (decimal 8208)\r
+   defining Unicode char U+2011 (decimal 8209)\r
+   defining Unicode char U+2012 (decimal 8210)\r
+   defining Unicode char U+2013 (decimal 8211)\r
+   defining Unicode char U+2014 (decimal 8212)\r
+   defining Unicode char U+2015 (decimal 8213)\r
+   defining Unicode char U+2018 (decimal 8216)\r
+   defining Unicode char U+2019 (decimal 8217)\r
+   defining Unicode char U+201A (decimal 8218)\r
+   defining Unicode char U+201C (decimal 8220)\r
+   defining Unicode char U+201D (decimal 8221)\r
+   defining Unicode char U+201E (decimal 8222)\r
+   defining Unicode char U+2030 (decimal 8240)\r
+   defining Unicode char U+2031 (decimal 8241)\r
+   defining Unicode char U+2039 (decimal 8249)\r
+   defining Unicode char U+203A (decimal 8250)\r
+   defining Unicode char U+2423 (decimal 9251)\r
+)\r
+Now handling font encoding OT1 ...\r
+... processing UTF-8 mapping file for font encoding OT1\r
+\r
+("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\base\ot1enc.dfu"\r
+File: ot1enc.dfu 2016/02/28 v1.1s UTF-8 support for inputenc\r
+   defining Unicode char U+00A0 (decimal 160)\r
+   defining Unicode char U+00A1 (decimal 161)\r
+   defining Unicode char U+00A3 (decimal 163)\r
+   defining Unicode char U+00AD (decimal 173)\r
+   defining Unicode char U+00B8 (decimal 184)\r
+   defining Unicode char U+00BF (decimal 191)\r
+   defining Unicode char U+00C5 (decimal 197)\r
+   defining Unicode char U+00C6 (decimal 198)\r
+   defining Unicode char U+00D8 (decimal 216)\r
+   defining Unicode char U+00DF (decimal 223)\r
+   defining Unicode char U+00E6 (decimal 230)\r
+   defining Unicode char U+00EC (decimal 236)\r
+   defining Unicode char U+00ED (decimal 237)\r
+   defining Unicode char U+00EE (decimal 238)\r
+   defining Unicode char U+00EF (decimal 239)\r
+   defining Unicode char U+00F8 (decimal 248)\r
+   defining Unicode char U+0131 (decimal 305)\r
+   defining Unicode char U+0141 (decimal 321)\r
+   defining Unicode char U+0142 (decimal 322)\r
+   defining Unicode char U+0152 (decimal 338)\r
+   defining Unicode char U+0153 (decimal 339)\r
+   defining Unicode char U+0174 (decimal 372)\r
+   defining Unicode char U+0175 (decimal 373)\r
+   defining Unicode char U+0176 (decimal 374)\r
+   defining Unicode char U+0177 (decimal 375)\r
+   defining Unicode char U+0218 (decimal 536)\r
+   defining Unicode char U+0219 (decimal 537)\r
+   defining Unicode char U+021A (decimal 538)\r
+   defining Unicode char U+021B (decimal 539)\r
+   defining Unicode char U+2013 (decimal 8211)\r
+   defining Unicode char U+2014 (decimal 8212)\r
+   defining Unicode char U+2018 (decimal 8216)\r
+   defining Unicode char U+2019 (decimal 8217)\r
+   defining Unicode char U+201C (decimal 8220)\r
+   defining Unicode char U+201D (decimal 8221)\r
+)\r
+Now handling font encoding OMS ...\r
+... processing UTF-8 mapping file for font encoding OMS\r
+\r
+("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\base\omsenc.dfu"\r
+File: omsenc.dfu 2016/02/28 v1.1s UTF-8 support for inputenc\r
+   defining Unicode char U+00A7 (decimal 167)\r
+   defining Unicode char U+00B6 (decimal 182)\r
+   defining Unicode char U+00B7 (decimal 183)\r
+   defining Unicode char U+2020 (decimal 8224)\r
+   defining Unicode char U+2021 (decimal 8225)\r
+   defining Unicode char U+2022 (decimal 8226)\r
+)\r
+Now handling font encoding OMX ...\r
+... no UTF-8 mapping file for font encoding OMX\r
+Now handling font encoding U ...\r
+... no UTF-8 mapping file for font encoding U\r
+   defining Unicode char U+00A9 (decimal 169)\r
+   defining Unicode char U+00AA (decimal 170)\r
+   defining Unicode char U+00AE (decimal 174)\r
+   defining Unicode char U+00BA (decimal 186)\r
+   defining Unicode char U+02C6 (decimal 710)\r
+   defining Unicode char U+02DC (decimal 732)\r
+   defining Unicode char U+200C (decimal 8204)\r
+   defining Unicode char U+2026 (decimal 8230)\r
+   defining Unicode char U+2122 (decimal 8482)\r
+   defining Unicode char U+2423 (decimal 9251)\r
+))\r
+("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\amsmath\amsmath.sty"\r
+Package: amsmath 2016/11/05 v2.16a AMS math features\r
+\@mathmargin=\skip43\r
+\r
+For additional information on amsmath, use the `?' option.\r
+("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\amsmath\amstext.sty"\r
+Package: amstext 2000/06/29 v2.01 AMS text\r
+\r
+("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\amsmath\amsgen.sty"\r
+File: amsgen.sty 1999/11/30 v2.0 generic functions\r
+\@emptytoks=\toks16\r
+\ex@=\dimen104\r
+))\r
+("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\amsmath\amsbsy.sty"\r
+Package: amsbsy 1999/11/29 v1.2d Bold Symbols\r
+\pmbraise@=\dimen105\r
+)\r
+("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\amsmath\amsopn.sty"\r
+Package: amsopn 2016/03/08 v2.02 operator names\r
+)\r
+\inf@bad=\count88\r
+LaTeX Info: Redefining \frac on input line 213.\r
+\uproot@=\count89\r
+\leftroot@=\count90\r
+LaTeX Info: Redefining \overline on input line 375.\r
+\classnum@=\count91\r
+\DOTSCASE@=\count92\r
+LaTeX Info: Redefining \ldots on input line 472.\r
+LaTeX Info: Redefining \dots on input line 475.\r
+LaTeX Info: Redefining \cdots on input line 596.\r
+\Mathstrutbox@=\box26\r
+\strutbox@=\box27\r
+\big@size=\dimen106\r
+LaTeX Font Info:    Redeclaring font encoding OML on input line 712.\r
+LaTeX Font Info:    Redeclaring font encoding OMS on input line 713.\r
+\macc@depth=\count93\r
+\c@MaxMatrixCols=\count94\r
+\dotsspace@=\muskip10\r
+\c@parentequation=\count95\r
+\dspbrk@lvl=\count96\r
+\tag@help=\toks17\r
+\row@=\count97\r
+\column@=\count98\r
+\maxfields@=\count99\r
+\andhelp@=\toks18\r
+\eqnshift@=\dimen107\r
+\alignsep@=\dimen108\r
+\tagshift@=\dimen109\r
+\tagwidth@=\dimen110\r
+\totwidth@=\dimen111\r
+\lineht@=\dimen112\r
+\@envbody=\toks19\r
+\multlinegap=\skip44\r
+\multlinetaggap=\skip45\r
+\mathdisplay@stack=\toks20\r
+LaTeX Info: Redefining \[ on input line 2817.\r
+LaTeX Info: Redefining \] on input line 2818.\r
+)\r
+("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\amscls\amsthm.sty"\r
+Package: amsthm 2015/03/04 v2.20.2\r
+\thm@style=\toks21\r
+\thm@bodyfont=\toks22\r
+\thm@headfont=\toks23\r
+\thm@notefont=\toks24\r
+\thm@headpunct=\toks25\r
+\thm@preskip=\skip46\r
+\thm@postskip=\skip47\r
+\thm@headsep=\skip48\r
+\dth@everypar=\toks26\r
+)\r
+("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\amsfonts\amssymb.sty"\r
+Package: amssymb 2013/01/14 v3.01 AMS font symbols\r
+\r
+("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\amsfonts\amsfonts.sty"\r
+Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support\r
+\symAMSa=\mathgroup4\r
+\symAMSb=\mathgroup5\r
+LaTeX Font Info:    Overwriting math alphabet `\mathfrak' in version `bold'\r
+(Font)                  U/euf/m/n --> U/euf/b/n on input line 106.\r
+))\r
+("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\algorithm2e\algorithm2e.sty"\r
+Package: algorithm2e 2013/01/06 v5.00 algorithms environments\r
+\c@AlgoLine=\count100\r
+\r
+("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\base\ifthen.sty"\r
+Package: ifthen 2014/09/29 v1.1c Standard LaTeX ifthen package (DPC)\r
+)\r
+\algocf@hangindent=\skip49\r
+\r
+("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\tools\xspace.sty"\r
+Package: xspace 2014/10/28 v1.13 Space after command names (DPC,MH)\r
+)\r
+("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\ltxmisc\relsize.sty"\r
+Package: relsize 2003/07/04 ver 3.1\r
+)\r
+********************************************************\r
+Package `algorithm2e' Release 5.1 -- october 19 2015 --\r
+- algorithm2e-announce@lirmm.fr mailing list for announcement about releases\r
+- algorithm2e-discussion@lirmm.fr mailing list for discussion about package\r
+subscribe by emailing sympa@lirmm.fr with 'subscribe <list> <firstname name>'\r
+- Author: Christophe Fiorio (christophe.fiorio@umontpellier.fr)\r
+********************************************************\r
+\skiptotal=\skip50\r
+\skiplinenumber=\skip51\r
+\skiprule=\skip52\r
+\skiphlne=\skip53\r
+\skiptext=\skip54\r
+\skiplength=\skip55\r
+\algomargin=\skip56\r
+\skipalgocfslide=\skip57\r
+\algowidth=\dimen113\r
+\inoutsize=\dimen114\r
+\inoutindent=\dimen115\r
+\interspacetitleruled=\dimen116\r
+\interspacealgoruled=\dimen117\r
+\interspacetitleboxruled=\dimen118\r
+\algocf@ruledwidth=\skip58\r
+\algocf@inoutbox=\box28\r
+\algocf@inputbox=\box29\r
+\AlCapSkip=\skip59\r
+\AlCapHSkip=\skip60\r
+\algoskipindent=\skip61\r
+\algocf@nlbox=\box30\r
+\algocf@hangingbox=\box31\r
+\algocf@untilbox=\box32\r
+\algocf@skipuntil=\skip62\r
+\algocf@capbox=\box33\r
+\algoheightruledefault=\skip63\r
+\algoheightrule=\skip64\r
+\algotitleheightruledefault=\skip65\r
+\algotitleheightrule=\skip66\r
+\c@algocfline=\count101\r
+\c@algocfproc=\count102\r
+\c@algocf=\count103\r
+\algocf@algoframe=\box34\r
+\algocf@algobox=\box35\r
+) ("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\tools\verbatim.sty"\r
+Package: verbatim 2014/10/28 v1.5q LaTeX2e package for verbatim enhancements\r
+\every@verbatim=\toks27\r
+\verbatim@line=\toks28\r
+\verbatim@in@stream=\read1\r
+)\r
+("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\xcolor\xcolor.sty"\r
+Package: xcolor 2016/05/11 v2.12 LaTeX color extensions (UK)\r
+\r
+("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\graphics-cfg\color.cfg"\r
+File: color.cfg 2016/01/02 v1.6 sample color configuration\r
+)\r
+Package xcolor Info: Driver file: pdftex.def on input line 225.\r
+\r
+("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\graphics-def\pdftex.def"\r
+File: pdftex.def 2017/01/12 v0.06k Graphics/color for pdfTeX\r
+\r
+("C:\Program Files (x86)\MiKTeX 2.9\tex\generic\oberdiek\infwarerr.sty"\r
+Package: infwarerr 2016/05/16 v1.4 Providing info/warning/error messages (HO)\r
+)\r
+("C:\Program Files (x86)\MiKTeX 2.9\tex\generic\oberdiek\ltxcmds.sty"\r
+Package: ltxcmds 2016/05/16 v1.23 LaTeX kernel commands for general use (HO)\r
+)\r
+\Gread@gobject=\count104\r
+)\r
+Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1348.\r
+Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1352.\r
+Package xcolor Info: Model `RGB' extended on input line 1364.\r
+Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1366.\r
+Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1367.\r
+Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1368.\r
+Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1369.\r
+Package xcolor Info: Model `Gray' substituted by `gray' on input line 1370.\r
+Package xcolor Info: Model `wave' substituted by `hsb' on input line 1371.\r
+)\r
+("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\stmaryrd\stmaryrd.sty"\r
+Package: stmaryrd 1994/03/03 St Mary's Road symbol package\r
+\symstmry=\mathgroup6\r
+LaTeX Font Info:    Overwriting symbol font `stmry' in version `bold'\r
+(Font)                  U/stmry/m/n --> U/stmry/b/n on input line 89.\r
+)\r
+("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\ulem\ulem.sty"\r
+\UL@box=\box36\r
+\UL@hyphenbox=\box37\r
+\UL@skip=\skip67\r
+\UL@hook=\toks29\r
+\UL@height=\dimen119\r
+\UL@pe=\count105\r
+\UL@pixel=\dimen120\r
+\ULC@box=\box38\r
+Package: ulem 2012/05/18\r
+\ULdepth=\dimen121\r
+)\r
+\c@theorem=\count106\r
+) (main.aux)\r
+\openout1 = `main.aux'.\r
+\r
+LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 16.\r
+LaTeX Font Info:    ... okay on input line 16.\r
+LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 16.\r
+LaTeX Font Info:    ... okay on input line 16.\r
+LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 16.\r
+LaTeX Font Info:    ... okay on input line 16.\r
+LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 16.\r
+LaTeX Font Info:    ... okay on input line 16.\r
+LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 16.\r
+LaTeX Font Info:    ... okay on input line 16.\r
+LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 16.\r
+LaTeX Font Info:    ... okay on input line 16.\r
+\r
+("C:\Program Files (x86)\MiKTeX 2.9\tex\context\base\supp-pdf.mkii"\r
+[Loading MPS to PDF converter (version 2006.09.02).]\r
+\scratchcounter=\count107\r
+\scratchdimen=\dimen122\r
+\scratchbox=\box39\r
+\nofMPsegments=\count108\r
+\nofMParguments=\count109\r
+\everyMPshowfont=\toks30\r
+\MPscratchCnt=\count110\r
+\MPscratchDim=\dimen123\r
+\MPnumerator=\count111\r
+\makeMPintoPDFobject=\count112\r
+\everyMPtoPDFconversion=\toks31\r
+)\r
+LaTeX Font Info:    Try loading font information for U+msa on input line 19.\r
+ ("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\amsfonts\umsa.fd"\r
+File: umsa.fd 2013/01/14 v3.01 AMS symbols A\r
+)\r
+LaTeX Font Info:    Try loading font information for U+msb on input line 19.\r
+\r
+("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\amsfonts\umsb.fd"\r
+File: umsb.fd 2013/01/14 v3.01 AMS symbols B\r
+)\r
+LaTeX Font Info:    Try loading font information for U+stmry on input line 19.\r
+\r
+("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\stmaryrd\ustmry.fd") [1\r
+\r
+{C:/Users/Andrea/AppData/Local/MiKTeX/2.9/pdftex/config/pdftex.map}] (main.aux)\r
+ )\r
+(\end occurred inside a group at level 1)\r
+\r
+### simple group (level 1) entered at line 1061 ({)\r
+### bottom level \r
+Here is how much of TeX's memory you used:\r
+ 4292 strings out of 493366\r
+ 54491 string characters out of 3137304\r
+ 133382 words of memory out of 3000000\r
+ 7768 multiletter control sequences out of 15000+200000\r
+ 6057 words of font info for 26 fonts, out of 3000000 for 9000\r
+ 1127 hyphenation exceptions out of 8191\r
+ 29i,14n,35p,330b,2405s stack positions out of 5000i,500n,10000p,200000b,50000s\r
+<C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/\r
+cm/cmex10.pfb><C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm\r
+/cmmi10.pfb><C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/c\r
+mmi5.pfb><C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmmi\r
+7.pfb><C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmr10.p\r
+fb><C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmr7.pfb><\r
+C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmsy10.pfb>\r
+Output written on main.pdf (1 page, 69324 bytes).\r
+PDF statistics:\r
+ 34 PDF objects out of 1000 (max. 8388607)\r
+ 0 named destinations out of 1000 (max. 500000)\r
+ 1 words of extra memory for PDF output out of 10000 (max. 10000000)\r
+\r

diff --git a/calculus/main.pdf b/calculus/main.pdf
new file mode 100644 (file)
index 0000000..811a3bd
Binary files /dev/null and b/calculus/main.pdf differ

diff --git a/calculus/main.synctex.gz b/calculus/main.synctex.gz
new file mode 100644 (file)
index 0000000..c16d6af
Binary files /dev/null and b/calculus/main.synctex.gz differ

diff --git a/calculus/main.tex b/calculus/main.tex
new file mode 100644 (file)
index 0000000..38cacf3
--- /dev/null
+++ b/calculus/main.tex
@@ -0,0 +1,55 @@
+\documentclass[10pt]{article}
+\input{preambolo.tex}
+
+% \usepackage{tikz}
+
+\newcommand{\true}{\operatorname{tt}}
+\newcommand{\false}{\operatorname{ff}}
+
+\newcommand{\ddef}{\mathrel{::=}}
+\newcommand{\semi}{\mathrel{;}}
+
+\newtheorem{example}[theorem]{Example}
+
+
+
+\begin{document}
+
+Terms:
+\[t, u \ddef x \mid t\,u \mid \lambda x.\, t\]
+
+Fireballs, inerts and normal forms:
+
+\[\begin{array}{lll}
+f & \ddef & x \mid i \mid \lambda x.\, t \\
+i & \ddef & x\,F_1\cdots F_n \\
+F & \ddef & K\langle f\rangle \\
+\end{array}\]
+
+Contexts $K$:
+\[K \ddef [\,] \mid i \semi K\]
+
+
+\[\begin{array}{lll}
+ K_1\langle\lambda x.\,t\rangle \, K_2\langle \lambda y.\, u\rangle &
+ \mapsto_{\beta_\lambda} &
+ K_1\langle K_2\langle t\{x\leftarrow \lambda y.\, u\}\rangle\rangle
+\\
+ K_1\langle\lambda x.\,t\rangle \, K_2\langle y \,\,\,\,\,\,\,\,\,\,\rangle &
+ \mapsto_{\beta_v} &
+ K_1\langle K_2\langle t\{x\leftarrow y\}\rangle\rangle
+\\
+ K_1\langle\lambda x.\,t\rangle \, K_2\langle i\,\,\,\,\,\,\,\,\,\,\,\rangle &
+ \mapsto_{\beta_i} &
+ \begin{cases}
+  K_1\langle K_2\langle t\{x\leftarrow i\}\rangle\rangle &
+  \text{ if } x \text{ occurs in } t \\
+  K_1\langle K_2\langle i \semi t\rangle\rangle &
+  \text{ otherwise } \\
+ \end{cases}
+\end{array}\]
+
+Evaluation contexts $E$:
+\[E \ddef [\,] \mid t\,E \mid E\,t\]
+
+\end{document}

diff --git a/calculus/preambolo.tex b/calculus/preambolo.tex
new file mode 100644 (file)
index 0000000..c7d653e
--- /dev/null
+++ b/calculus/preambolo.tex
@@ -0,0 +1,20 @@
+\usepackage[english]{babel}
+\usepackage[utf8]{inputenc}
+\usepackage{amsmath, amsthm, amssymb}
+\usepackage[ruled,vlined]{algorithm2e}
+\usepackage{verbatim}
+\usepackage{xcolor}
+\usepackage{stmaryrd}
+\usepackage[normalem]{ulem}
+
+% \theoremstyle{definition}
+\newtheorem{theorem}{Theorem}
+\newtheorem{lemma}[theorem]{Lemma}
+% \newtheorem{corollary}[theorem]{Corollary}
+\newtheorem{notation}[theorem]{Notation}
+\newtheorem{definition}[theorem]{Definition}
+\newtheorem{fact}[theorem]{Fact}
+
+
+
+\newcommand{\commento}[1]{\textcolor{orange}{#1}}