Andreas Fabri 4b61cd5230 Added Michael Seel as chapter author		2006-04-28 07:12:37 +00:00
..
PkgDescription.tex	replaced	2006-04-26 16:40:25 +00:00
introduction_d.tex	…
kernel_d_toc.tex	…
kernel_geometry_d.tex	…
kernel_overview.tex	…
kernel_representation_d.tex	…
main.tex	Added Michael Seel as chapter author	2006-04-28 07:12:37 +00:00
predicates_constructions_d.tex	…
preface.tex	…
title.tex	…