VERFILES=gcd.fst #bijection.fst
FSTAR_HOME=../..
include ../Makefile.include

all: uall

uall: Gcd.uver

