matita.cs.unibo.it Git - logicplayer.git/tree

drwxr-xr-x		..
-rw-r--r--	622	demorgan.xml	blob \| history \| raw
-rw-r--r--	622	demorgan2.xml	blob \| history \| raw
-rw-r--r--	622	demorgan3.xml	blob \| history \| raw
-rw-r--r--	622	demorgan4.xml	blob \| history \| raw
-rw-r--r--	360	em.xml	blob \| history \| raw
-rw-r--r--	517	ex1-1.xml	blob \| history \| raw
-rw-r--r--	517	ex1-2.xml	blob \| history \| raw
-rw-r--r--	766	ex1-3.xml	blob \| history \| raw
-rw-r--r--	759	ex1-4.xml	blob \| history \| raw
-rw-r--r--	758	ex1-5.xml	blob \| history \| raw
-rw-r--r--	545	ex1-6.xml	blob \| history \| raw
-rw-r--r--	1635	ex1-7.xml	blob \| history \| raw