#
#   Rene [07 Apr 1999] observes that the vellum has normal thickness.
#
# Last edited on 1999-04-08 05:01:13 by stolfi
