1132	 An Extension to ALGOL for Manipulating Formulae
