On Monday 27 October 2003 09:47, Soeren Sonnenburg wrote: > Ergo solange programme nicht beweisbar Und da springt die Funktionale Programmierung is Feld, weil dadurch zumindest Teile des Programms beweisbar werden, theoretisch ... Gruß Jan