lib/fonts/fonts.alias
author wenzelm
Thu, 01 Jul 1999 21:28:49 +0200
changeset 6880 ce2b19e4402d
parent 2298 df82271be07b
permissions -rw-r--r--
Isar_examples/KnasterTarski.thy;

FILE_NAMES_ALIASES