summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore204logplainblame
-rw-r--r--.gitmodules196logplainblame
m---------CleanSmurf @ d8297fe0logblame
m---------CleanSmurfProver @ 97325a50logblame
-rw-r--r--Makefile409logplainblame
-rw-r--r--abs.tex366logplainblame
-rw-r--r--analyse.tex5578logplainblame
-rw-r--r--app-trees.tex209logplainblame
-rw-r--r--clean.sty2051logplainblame
-rw-r--r--cleansmurf.tex5846logplainblame
-rw-r--r--def.tex143logplainblame
-rw-r--r--defio.tex1563logplainblame
-rw-r--r--defmeta.tex820logplainblame
-rw-r--r--defstate.tex1531logplainblame
-rw-r--r--defsyn.tex697logplainblame
-rw-r--r--deftrans.tex1261logplainblame
-rw-r--r--explanation.tex83logplainblame
-rw-r--r--intro.tex2485logplainblame
-rw-r--r--introcoms.tex2623logplainblame
-rw-r--r--introexmp.tex5321logplainblame
-rw-r--r--org.tex1076logplainblame
-rw-r--r--planning.tex692logplainblame
-rw-r--r--prooftree.sty13051logplainblame
-rw-r--r--refs.tex482logplainblame
-rw-r--r--reverse2.tex2734logplainblame
-rw-r--r--rules.tex1165logplainblame
-rw-r--r--rulescat.tex779logplainblame
-rw-r--r--rulesexec.tex2641logplainblame
-rw-r--r--rulesget.tex591logplainblame
-rw-r--r--ruleshead.tex728logplainblame
-rw-r--r--rulesinput.tex1470logplainblame
-rw-r--r--ruleslambda.tex413logplainblame
-rw-r--r--rulesoutput.tex941logplainblame
-rw-r--r--rulespush.tex1842logplainblame
-rw-r--r--rulesput.tex812logplainblame
-rw-r--r--rulesquotify.tex1128logplainblame
-rw-r--r--rulestail.tex732logplainblame
-rw-r--r--smurf.sty2640logplainblame
-rw-r--r--smurfreverser.txt2551logplainblame
-rw-r--r--sosexamp.tex2650logplainblame
-rw-r--r--tree-gen-bootstrap-base.tex83107logplainblame
-rw-r--r--tree-gen-bootstrap-step.tex95624logplainblame
-rw-r--r--tree-gen-bootstrap.tex51542logplainblame
-rw-r--r--tree-gen-lambda.tex36170logplainblame
-rw-r--r--voorstel.tex2079logplainblame
-rw-r--r--werkstuk.tex1323logplainblame
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-13 15:04:31 +0000