diff src/sat.tac @ 495:a726b234d3bf

primitivus: moved constants in a separate file
author Goffi <goffi@goffi.org>
date Mon, 03 Sep 2012 23:43:15 +0200
parents 2a072735e459
children ca13633d3b6b
line wrap: on
line diff