matita.cs.unibo.it Git - helm.git/tree - helm/papers/calculemus-2003/

drwxr-xr-x		..
-rw-r--r--	23	.cvsignore	blob \| history \| raw
-rw-r--r--	242	Makefile	blob \| history \| raw
-rw-r--r--	1236	draftstamp.sty	blob \| history \| raw
-rw-r--r--	2515	ed.sty	blob \| history \| raw
-rw-r--r--	52506	hbugs-calculemus-2003.tex	blob \| history \| raw
-rw-r--r--	35384	llncs.cls	blob \| history \| raw
-rw-r--r--	1583	outline.txt	blob \| history \| raw
-rw-r--r--	1823	stamp.pro	blob \| history \| raw