diff README @ 56:55260a178667

Added from f* pseudo ops
author lost
date Sun, 04 Jan 2009 21:43:05 +0000
parents 57495da01900
children
line wrap: on
line diff