Ich habe Schwierigkeiten, eine Taktik zu definieren, Hypothesen in einem Beweiskontext rekursiv umzukehren. Nehmen wir zum Beispiel an, dass ich einen Beweiskontext habe, der eine Hypothese wie folgt enthält:
%Vor%
und möchte die Hypothese w...
31.12.2011 в 08:08