NWI-IBC025-Berekeningsmodellen - Files related to NWI-IBC025 Berekeningsmodellen, summer 2016, Radboud University Nijmegen.

Mode	Name	Size
-rw-r--r--	.gitignore	204	log plain blame
-rw-r--r--	.gitmodules	196	log plain blame
m---------	CleanSmurf @ d8297fe	0	log blame
m---------	CleanSmurfProver @ b7916c0	0	log blame
-rw-r--r--	Makefile	409	log plain blame
-rw-r--r--	abs.tex	366	log plain blame
-rw-r--r--	analyse.tex	3973	log plain blame
-rw-r--r--	app-trees.tex	232	log plain blame
-rw-r--r--	clean.sty	2051	log plain blame
-rw-r--r--	cleansmurf-proofs.tex	4661	log plain blame
-rw-r--r--	cleansmurf-rules.tex	1496	log plain blame
-rw-r--r--	cleansmurf-trees.tex	2023	log plain blame
-rw-r--r--	cleansmurf-types.tex	1895	log plain blame
-rw-r--r--	cleansmurf.tex	605	log plain blame
-rw-r--r--	def.tex	143	log plain blame
-rw-r--r--	defio.tex	1563	log plain blame
-rw-r--r--	defmeta.tex	820	log plain blame
-rw-r--r--	defstate.tex	1531	log plain blame
-rw-r--r--	defsyn.tex	697	log plain blame
-rw-r--r--	deftrans.tex	1261	log plain blame
-rw-r--r--	explanation-inner.tex	6085	log plain blame
-rw-r--r--	explanation-outer.tex	3148	log plain blame
-rw-r--r--	explanation.tex	664	log plain blame
-rw-r--r--	intro.tex	2485	log plain blame
-rw-r--r--	introcoms.tex	2623	log plain blame
-rw-r--r--	introexmp.tex	5346	log plain blame
-rw-r--r--	org.tex	957	log plain blame
-rw-r--r--	prooftree.sty	13051	log plain blame
-rw-r--r--	refs.tex	619	log plain blame
-rw-r--r--	reverse2.tex	2734	log plain blame
-rw-r--r--	rules.tex	1165	log plain blame
-rw-r--r--	rulescat.tex	779	log plain blame
-rw-r--r--	rulesexec.tex	2641	log plain blame
-rw-r--r--	rulesget.tex	591	log plain blame
-rw-r--r--	ruleshead.tex	728	log plain blame
-rw-r--r--	rulesinput.tex	1470	log plain blame
-rw-r--r--	ruleslambda.tex	413	log plain blame
-rw-r--r--	rulesoutput.tex	941	log plain blame
-rw-r--r--	rulespush.tex	1842	log plain blame
-rw-r--r--	rulesput.tex	812	log plain blame
-rw-r--r--	rulesquotify.tex	1128	log plain blame
-rw-r--r--	rulestail.tex	732	log plain blame
-rw-r--r--	smurf.sty	2640	log plain blame
-rw-r--r--	smurfreverser.txt	561	log plain blame
-rw-r--r--	sosexamp.tex	2650	log plain blame
-rw-r--r--	tree-gen-bootstrap-base.tex	83107	log plain blame
-rw-r--r--	tree-gen-bootstrap-step.tex	95624	log plain blame
-rw-r--r--	tree-gen-bootstrap.tex	51413	log plain blame
-rw-r--r--	tree-gen-lambda.tex	40386	log plain blame
-rw-r--r--	voorstel.tex	2079	log plain blame
-rw-r--r--	werkstuk.tex	1306	log plain blame