Towards lean proof checking, manuscript (1996)

by G Barthe, H Elbers