100644 blob b847eef2f0202feaa68dc1c2d437a1117c72c11b	Makefile
100644 blob 32f86888ef8887fbbf158988676a5089c5c584a3	SquareProof.thy
100644 blob fc8de050db76a3df6ce9b64da507fa4a994e1aca	entrypoints.cfg
100644 blob 40080fb58866c194b11636ca95a89b758cdd48e1	main.ac
100644 blob c640e83e8c1c495e2aeaa4f5418194c1d48a8e4c	square.cogent