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--	Makefile	482	log plain blame
-rw-r--r--	abs.tex	366	log plain blame
-rw-r--r--	def.tex	127	log plain blame
-rw-r--r--	defio.tex	1117	log plain blame
-rw-r--r--	defstate.tex	1446	log plain blame
-rw-r--r--	defsyn.tex	519	log plain blame
-rw-r--r--	deftrans.tex	901	log plain blame
-rw-r--r--	intro.tex	2478	log plain blame
-rw-r--r--	introcoms.tex	1987	log plain blame
-rw-r--r--	introexmp.tex	4863	log plain blame
-rw-r--r--	org.tex	526	log plain blame
-rw-r--r--	preamble.tex	998	log plain blame
-rw-r--r--	prooftree.sty	13051	log plain blame
-rw-r--r--	refs.tex	195	log plain blame
-rw-r--r--	rules.tex	846	log plain blame
-rw-r--r--	rulescat.tex	458	log plain blame
-rw-r--r--	rulesexec.tex	3482	log plain blame
-rw-r--r--	rulesget.tex	677	log plain blame
-rw-r--r--	ruleshead.tex	722	log plain blame
-rw-r--r--	rulesinput.tex	1480	log plain blame
-rw-r--r--	ruleslambda.tex	413	log plain blame
-rw-r--r--	rulesoutput.tex	890	log plain blame
-rw-r--r--	rulespush.tex	739	log plain blame
-rw-r--r--	rulesput.tex	812	log plain blame
-rw-r--r--	rulesquotify.tex	536	log plain blame
-rw-r--r--	rulestail.tex	730	log plain blame
-rw-r--r--	smurf.sty	2115	log plain blame
-rw-r--r--	voorstel.tex	2079	log plain blame
-rw-r--r--	werkstuk.tex	191	log plain blame