Fri, 28 Oct 2011 11:02:27 +0200 | huffman | use simproc_setup for cancellation simprocs, to get proper name bindings | file | diff | annotate |
Mon, 19 Jul 2010 16:09:44 +0200 | haftmann | tuned whitespace | file | diff | annotate |
Fri, 30 Oct 2009 18:33:07 +0100 | haftmann | dedicated theory for loading numeral simprocs | file | diff | annotate |