summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore204logplainblame
-rw-r--r--.gitmodules196logplainblame
m---------CleanSmurf @ d8297fe0logblame
m---------CleanSmurfProver @ b7916c00logblame
-rw-r--r--Makefile409logplainblame
-rw-r--r--abs.tex366logplainblame
-rw-r--r--analyse.tex5768logplainblame
-rw-r--r--app-rules.tex761logplainblame
-rw-r--r--app-trees.tex232logplainblame
-rw-r--r--clean.sty2051logplainblame
-rw-r--r--cleansmurf-proofs.tex4661logplainblame
-rw-r--r--cleansmurf-rules.tex1496logplainblame
-rw-r--r--cleansmurf-trees.tex2023logplainblame
-rw-r--r--cleansmurf-types.tex1895logplainblame
-rw-r--r--cleansmurf.tex605logplainblame
-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-inner.tex6462logplainblame
-rw-r--r--explanation-outer.tex3219logplainblame
-rw-r--r--explanation.tex664logplainblame
-rw-r--r--intro.tex2485logplainblame
-rw-r--r--introcoms.tex2623logplainblame
-rw-r--r--introexmp.tex5346logplainblame
-rw-r--r--org.tex957logplainblame
-rw-r--r--prooftree.sty13051logplainblame
-rw-r--r--refs.tex619logplainblame
-rw-r--r--reverse2.tex2734logplainblame
-rw-r--r--rule-defs.tex3050logplainblame
-rw-r--r--rules.tex1540logplainblame
-rw-r--r--rulescat.tex479logplainblame
-rw-r--r--rulesexec.tex2348logplainblame
-rw-r--r--rulesget.tex348logplainblame
-rw-r--r--ruleshead.tex492logplainblame
-rw-r--r--rulesinput.tex1235logplainblame
-rw-r--r--ruleslambda.tex303logplainblame
-rw-r--r--rulesoutput.tex671logplainblame
-rw-r--r--rulespush.tex1651logplainblame
-rw-r--r--rulesput.tex514logplainblame
-rw-r--r--rulesquotify.tex848logplainblame
-rw-r--r--rulestail.tex496logplainblame
-rw-r--r--smurf.sty2640logplainblame
-rw-r--r--smurfreverser.txt561logplainblame
-rw-r--r--sosexamp.tex3442logplainblame
-rw-r--r--tree-gen-bootstrap-base.tex83107logplainblame
-rw-r--r--tree-gen-bootstrap-step.tex95624logplainblame
-rw-r--r--tree-gen-bootstrap.tex51413logplainblame
-rw-r--r--tree-gen-lambda.tex40386logplainblame
-rw-r--r--voorstel.tex2079logplainblame
-rw-r--r--werkstuk.tex1396logplainblame
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-14 09:19:03 +0000