Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
slajdy02.pdf | 2021-03-29 20:12 | 565K | ||
slajdy04.pdf | 2021-04-21 15:46 | 412K | ||
slajdy05.pdf | 2021-04-26 17:28 | 322K | ||
slajdy03.pdf | 2021-04-12 20:51 | 305K | ||
slajdy06.pdf | 2021-05-03 22:59 | 225K | ||
slajdy01Idris.pdf | 2021-03-22 19:02 | 191K | ||
slajdy07.pdf | 2021-05-25 08:22 | 165K | ||
PlikiIdrisa/ | 2021-03-22 18:57 | - | ||
PlikiCoqa/ | 2021-05-25 08:16 | - | ||