Index of /~daria/ZPF/2019/Slajdy19/PlikiCoqa

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[   ]Coinductive.Casteran.v 2019-04-29 22:14 27K 
[TXT]Coinductive.cpdt.v 2019-04-29 22:14 7.3K 
[   ]CpdtTactics.vo 2019-04-29 22:30 42K 
[   ]DataStructures.v 2019-04-08 23:00 5.9K 
[   ]JMeqDef.v 2019-04-15 21:23 620  
[   ]JMeqRew.v 2019-04-15 21:23 1.5K 
[   ]UIP_refl_nat.v 2019-04-15 21:23 852  
[   ]examples.v 2019-03-18 22:30 2.0K 
[   ]flogic.v 2019-03-18 22:30 1.5K 
[   ]hastype.v 2019-04-15 21:23 1.1K 
[   ]head.v 2019-04-08 23:00 1.7K 
[   ]lastOfNonemptyTuple.v 2019-04-16 07:41 1.7K 
[   ]lista.v 2019-03-25 22:04 1.3K 
[   ]match.v 2019-04-01 21:22 607  
[   ]mlogic.v 2019-03-18 22:30 1.2K 
[   ]plus.v 2019-03-25 22:04 655  
[TXT]vappend_assoc.v 2019-04-15 21:23 3.1K 

Apache/2.4.34 (Unix) OpenSSL/1.0.2o mod_python/3.5.0 Python/2.7.15 SVN/1.10.2 mod_jk/1.2.37 mod_watch/4.3 mod_perl/2.0.10 Perl/v5.28.0 Server at duch.mimuw.edu.pl Port 443