GitHub - W-M-T/Berekeningsmodellen-IBC025---voorjaar-2016

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 102 Commits
CleanSmurf @ d8297fe		CleanSmurf @ d8297fe
CleanSmurfProver @ b7916c0		CleanSmurfProver @ b7916c0
.gitignore		.gitignore
.gitmodules		.gitmodules
Makefile		Makefile
abs.tex		abs.tex
analyse-proof.tex		analyse-proof.tex
analyse.tex		analyse.tex
app-rules.tex		app-rules.tex
app-trees.tex		app-trees.tex
clean.sty		clean.sty
cleansmurf-proofs.tex		cleansmurf-proofs.tex
cleansmurf-rules.tex		cleansmurf-rules.tex
cleansmurf-trees.tex		cleansmurf-trees.tex
cleansmurf-types.tex		cleansmurf-types.tex
cleansmurf.tex		cleansmurf.tex
def.tex		def.tex
defio.tex		defio.tex
defmeta.tex		defmeta.tex
defstate.tex		defstate.tex
defsyn.tex		defsyn.tex
deftrans.tex		deftrans.tex
explanation-inner.tex		explanation-inner.tex
explanation-outer.tex		explanation-outer.tex
explanation.tex		explanation.tex
intro.tex		intro.tex
introcoms.tex		introcoms.tex
introexmp.tex		introexmp.tex
org.tex		org.tex
prooftree.sty		prooftree.sty
refs.tex		refs.tex
reverse2.tex		reverse2.tex
rule-defs.tex		rule-defs.tex
rules.tex		rules.tex
rulescat.tex		rulescat.tex
rulesexec.tex		rulesexec.tex
rulesget.tex		rulesget.tex
ruleshead.tex		ruleshead.tex
rulesinput.tex		rulesinput.tex
ruleslambda.tex		ruleslambda.tex
rulesoutput.tex		rulesoutput.tex
rulespush.tex		rulespush.tex
rulesput.tex		rulesput.tex
rulesquotify.tex		rulesquotify.tex
rulestail.tex		rulestail.tex
smurf.sty		smurf.sty
smurfreverser.txt		smurfreverser.txt
sosexamp.tex		sosexamp.tex
summ.tex		summ.tex
tree-gen-bootstrap-base.tex		tree-gen-bootstrap-base.tex
tree-gen-bootstrap-step.tex		tree-gen-bootstrap-step.tex
tree-gen-bootstrap.tex		tree-gen-bootstrap.tex
tree-gen-lambda.tex		tree-gen-lambda.tex
tree.tex		tree.tex
voorstel.tex		voorstel.tex
werkstuk.tex		werkstuk.tex