]> matita.cs.unibo.it Git - helm.git/tree
New function list_forall_default3. 3 euros to the first one that reuses this function
drwxr-xr-x - helm