]> matita.cs.unibo.it Git - helm.git/tree
split a term0 rule for dinamycally change top-level (i.e. non-recursive) term rul
drwxr-xr-x - CVSROOT
drwxr-xr-x - helm