Andreas Fabri 88b7f854dd updated explanations for MyKernel as we enforce type equality		2006-03-31 08:59:20 +00:00
..
Kernel_23	updated explanations for MyKernel as we enforce type equality	2006-03-31 08:59:20 +00:00
Kernel_23_ref	replaced hardcoded link by \ccc{Kernel_d}	2006-03-09 15:15:44 +00:00