Súbor:CompLog2014-Lecture-3-Applications-of-FOL.pdf: História revízií

Porovnanie zmien: označte výberové políčka revízií, ktoré sa majú porovnať a kliknite na tlačidlo dolu.
Legenda: (aktuálna) = rozdiel oproti aktuálnej verzii, (posledná) = rozdiel oproti predchádzajúcej verzii, D = drobná úprava