matita.cs.unibo.it Git - helm.git/tree - matita/matita/contribs/lambdadelta/delayed_updating/etc/head/

]> matita.cs.unibo.it Git - helm.git/tree - matita/matita/contribs/lambdadelta/delayed_updating/etc/head/

projects / helm.git / tree

summary | shortlog | log | commit | commitdiff | tree
history | HEAD | snapshot

[helm.git] / matita / matita / contribs / lambdadelta / delayed_updating / etc / head /

drwxr-xr-x		..
-rw-r--r--	1212	downarrowright_2.etc	blob \| history \| raw
-rw-r--r--	2661	lift_path_head.etc	blob \| history \| raw
-rw-r--r--	2418	lift_rmap_head.etc	blob \| history \| raw
-rw-r--r--	1387	path_depth_labels.etc	blob \| history \| raw
-rw-r--r--	5178	path_head.etc	blob \| history \| raw
-rw-r--r--	1766	path_head_depth.etc	blob \| history \| raw
-rw-r--r--	1765	path_head_structure.etc	blob \| history \| raw
-rw-r--r--	1395	path_height_labels.etc	blob \| history \| raw
-rw-r--r--	1867	path_labels.etc	blob \| history \| raw
-rw-r--r--	1372	path_structure_labels.etc	blob \| history \| raw
-rw-r--r--	1182	power_2.etc	blob \| history \| raw
-rw-r--r--	5146	unwind2_rmap_head.etc	blob \| history \| raw
-rw-r--r--	1463	unwind2_rmap_labels.etc	blob \| history \| raw

Unnamed repository; edit this file 'description' to name the repository.