Index of /~toni/Courses/Logic2021/Problems

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