<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"http://www.w3.org/TR/html4/loose.dtd">
<html>
<meta http-equiv="refresh" content="3; URL=http://www.cs.rug.nl/~jurjen/ApprenticesNotes.html">
<head>
<title> Redirecting to http://www.cs.rug.nl/~jurjen/ApprenticesNotes.html </title>
</head>
<body>
The <a href="http://www.cs.rug.nl/~jurjen/ApprenticesNotes.html">Apprentice's Notes</a>
are <a href="http://www.cs.rug.nl/~jurjen/ApprenticesNotes.html">here*lt;/a>.
If your mouse moves fast enough, you can outclick the automatic redirect.
<Redirect / http://www.cs.rug.nl/~jurjen/ApprenticesNotes.html>
</body>
</html>
