Index of /~toni/Courses/Logic2021/Problems

	Name	Last modified	Size	Description
	Parent Directory		-
	prooftree.sty	2021-09-21 20:23	13K
	practice-test2.tex	2021-11-17 16:37	5.9K
	practice-test2.pdf	2021-11-17 16:41	92K
	practice-test2.log	2021-11-17 16:41	6.7K
	practice-test2.aux	2021-11-17 16:41	36
	practice-test1.tex	2021-10-06 15:14	4.1K
	practice-test1.pdf	2021-10-06 15:14	49K
	practice-test1.log	2021-10-06 15:14	5.1K
	practice-test1.aux	2021-10-06 15:14	8
	hw2s-2019.tex	2021-09-21 20:32	15K
	hw2-2019.tex	2021-09-21 20:32	2.5K
	hw1s.tex	2021-10-11 15:08	8.3K
	hw1s-2019.tex	2021-09-21 20:32	17K
	hw1-2019.tex	2021-09-21 20:32	4.3K
	hw1	2021-09-21 20:13	332
	bla.tex	2021-12-01 20:26	587
	QED.sty	2021-09-21 20:28	30K
	LK.sty	2021-09-21 20:27	2.2K
	3s.tex	2022-11-20 19:13	3.3K
	3new.tex	2021-12-01 20:26	3.7K
	3new.pdf	2021-12-01 20:26	68K
	3new.log	2021-12-01 20:26	11K
	3new.aux	2021-12-01 20:26	8
	3.tex	2021-12-08 09:34	2.8K
	3.pdf	2021-12-08 09:34	70K
	3.log	2021-12-08 09:34	10K
	3.aux	2021-12-08 09:34	8
	2s.tex	2021-11-17 16:37	15K
	2s.pdf	2021-11-17 16:40	135K
	2s.log	2021-11-17 16:40	11K
	2s.aux	2021-11-17 16:40	8
	2s-old.tex	2021-09-21 20:15	15K
	2.pdf	2021-10-27 22:06	67K
	2.log	2021-10-27 22:06	5.2K
	2.aux	2021-10-27 22:06	8
	2-copy.tex	2021-10-24 09:34	2.5K
	1s.tex	2021-10-11 15:20	13K
	1s.pdf	2021-10-11 15:20	89K
	1s.log	2021-10-11 15:20	20K
	1s.aux	2021-10-11 15:20	8
	1.tex	2021-12-01 20:29	3.7K
	1.pdf	2021-09-22 15:32	67K
	1.log	2021-09-22 15:32	5.2K
	1.aux	2021-09-22 15:32	8