src/HOLCF/ex/hoare.txt
changeset 896 56b9c2626e81
parent 244 929fc2c63bd0
child 35174 e15040ae75d7
equal deleted inserted replaced
895:7a1e07fbffea 896:56b9c2626e81
       
     1 (* $Id$ *)
       
     2 
     1 Proves about loops and tail-recursive functions
     3 Proves about loops and tail-recursive functions
     2 ===============================================
     4 ===============================================
     3 
     5 
     4 Problem A
     6 Problem A
     5 
     7