all:
	Holmake

clean:
	rm -f *Theory.* *.ui *.uo
