]> matita.cs.unibo.it Git - helm.git/tree
Bug fixed in definition of cic:/.../setoids/make_compatibility_goal_aux.con:
drwxr-xr-x - helm