lib/fonts/fonts.alias
author paulson
Mon, 01 Mar 1999 15:57:29 +0100
changeset 6291 2c3f72d9f5d1
parent 2298 df82271be07b
permissions -rw-r--r--
simpler proofs of congruence rules

FILE_NAMES_ALIASES