Index of /LNF/i386/5.11/LNFyap/reloc/share/Yap/clpbn/examples/School

 Name                                                  Last modified      Size  Description
 Parent Directory                                                           -   
 README                                                2015-06-01 00:58  1.3K  
 evidence_128.yap                                      2015-06-01 00:58  390   
 schema.yap                                            2015-06-01 00:58  1.7K  
 school_32.yap                                         2015-06-01 00:58   29K  
 school_64.yap                                         2015-06-01 00:58  119K  
 school_128.yap                                        2015-06-01 00:58  498K  
 tables.yap                                            2015-06-01 00:58  1.2K

Apache/2.4.39 (Unix) OpenSSL/1.0.2u Server at pkg.cs.ovgu.de Port 80