Index of /LNF/linux/ubuntu/jammy/LNFhets-libs/reloc/lib/hets/hets-lib/Ontology/Alignment

Icon  Name                                                                   Last modified      Size  Description
[PARENTDIR] Parent Directory                                                                            -   
[   ] Simple_V_Alignment_Test.dol                                            2022-09-29 11:35  413   
[   ] V_Alignment.casl                                                       2022-09-29 11:35  490   
[   ] V_Alignment_owl-incons.dol                                             2022-09-29 11:35  636   
[   ] V_Alignment_owl.dol                                                    2022-09-29 11:35  486   
[   ] V_Alignment_owl_multi.dol                                              2022-09-29 11:35  633   
[   ] V_Alignment_owl_multi_compo.dol                                        2022-09-29 11:35  1.3K  
[   ] W_Alignment.casl                                                       2022-09-29 11:35  428   
[   ] W_Alignment_owl.dol                                                    2022-09-29 11:35  533   
[   ] minimal_inconsistent_colimit.dol                                       2022-09-29 11:35  512
Apache/2.4.39 (Unix) OpenSSL/1.0.2u Server at pkg.cs.ovgu.de Port 80