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
-rw-r--r--	517	ex2-1.xml	blob \| history \| raw
-rw-r--r--	517	ex2-2.xml	blob \| history \| raw
-rw-r--r--	766	ex2-3.xml	blob \| history \| raw
-rw-r--r--	759	ex2-4.xml	blob \| history \| raw
-rw-r--r--	758	ex2-5.xml	blob \| history \| raw
-rw-r--r--	1623	ex2-6.xml	blob \| history \| raw
-rw-r--r--	1523	ex2-7.xml	blob \| history \| raw