summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore204logplainblame
-rw-r--r--.gitmodules196logplainblame
m---------CleanSmurf @ d8297fe0logblame
m---------CleanSmurfProver @ b7916c00logblame
-rw-r--r--Makefile657logplainblame
-rw-r--r--abs.tex498logplainblame
-rw-r--r--analyse-proof.tex4015logplainblame
-rw-r--r--analyse.tex3635logplainblame
-rw-r--r--app-rules.tex761logplainblame
-rw-r--r--app-trees.tex893logplainblame
-rw-r--r--clean.sty2050logplainblame
-rw-r--r--cleansmurf-proofs.tex4747logplainblame
-rw-r--r--cleansmurf-rules.tex1697logplainblame
-rw-r--r--cleansmurf-trees.tex2085logplainblame
-rw-r--r--cleansmurf-types.tex2130logplainblame
-rw-r--r--cleansmurf.tex605logplainblame
-rw-r--r--def.tex775logplainblame
-rw-r--r--defio.tex1654logplainblame
-rw-r--r--defmeta.tex813logplainblame
-rw-r--r--defstate.tex1536logplainblame
-rw-r--r--defsyn.tex633logplainblame
-rw-r--r--deftrans.tex1309logplainblame
-rw-r--r--explanation-inner.tex6462logplainblame
-rw-r--r--explanation-outer.tex3219logplainblame
-rw-r--r--explanation.tex694logplainblame
-rw-r--r--intro.tex2516logplainblame
-rw-r--r--introcoms.tex2542logplainblame
-rw-r--r--introexmp.tex4704logplainblame
-rw-r--r--org.tex977logplainblame
-rw-r--r--prooftree.sty13051logplainblame
-rw-r--r--refs.tex619logplainblame
-rw-r--r--reverse2.tex2734logplainblame
-rw-r--r--rule-defs.tex3055logplainblame
-rw-r--r--rules.tex1508logplainblame
-rw-r--r--rulescat.tex479logplainblame
-rw-r--r--rulesexec.tex2342logplainblame
-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.sty2644logplainblame
-rw-r--r--smurfreverser.txt561logplainblame
-rw-r--r--sosexamp.tex3315logplainblame
-rw-r--r--tree-gen-bootstrap-base.tex83107logplainblame
-rw-r--r--tree-gen-bootstrap-step.tex95624logplainblame
-rw-r--r--tree-gen-bootstrap.tex51414logplainblame
-rw-r--r--tree-gen-lambda.tex40386logplainblame
-rw-r--r--tree.tex239logplainblame
-rw-r--r--voorstel.tex2079logplainblame
-rw-r--r--werkstuk.tex1405logplainblame
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-13 16:14:33 +0000