Dependencies for guarded-rewriting-0.1

Libraries

guarded-rewriting