]> matita.cs.unibo.it Git - helm.git/tree
41d6e194238f88d59cb15040de7823b70123cff4
drwxr-xr-x - MONADS
-rw-r--r-- 655 Makefile
drwxr-xr-x - arithmetics
drwxr-xr-x - basics
drwxr-xr-x - binding
-rw-r--r-- 6358 extraction.ma
drwxr-xr-x - formal_topology
-rw-r--r-- 4882 hints_declaration.ma
drwxr-xr-x - hott
drwxr-xr-x - lambda
-rw-r--r-- 187 preamble.hs
-rw-r--r-- 64 preamble.ml
drwxr-xr-x - pts_dummy
drwxr-xr-x - pts_dummy_new
drwxr-xr-x - re
drwxr-xr-x - reverse_complexity
-rw-r--r-- 21 root
drwxr-xr-x - turing
drwxr-xr-x - tutorial