Index of /LNF/linux/ubuntu/focal/LNFhets-libs/reloc/lib/hets/hets-lib/Ontology/Dolce

Icon  Name                                                                   Last modified      Size  Description
[PARENTDIR] Parent Directory                                                                            -   
[DIR] DolceCons/                                                             2022-10-09 04:00    -   
[TXT] CEPSet.dol                                                             2022-09-29 11:35  2.1K  
[   ] DolceCons.dol                                                          2022-09-29 11:35   23K  
[   ] DolceModel.dol                                                         2022-09-29 11:35  8.6K  
[   ] DolceModel.pp.tex                                                      2022-09-29 11:35   15K  
[   ] DolceModelStruct.dol                                                   2022-09-29 11:35   13K  
[   ] DolceModelStruct2.dol                                                  2022-09-29 11:35  7.2K  
[TXT] DolceSimpl.dol                                                         2022-09-29 11:35   19K  
[   ] DolceSimpl_Esort.dol                                                   2022-09-29 11:35   19K  
[TXT] Dolce_Dummy.dol                                                        2022-09-29 11:35  3.5K  
[   ] Dolce_Partial_Models.dol                                               2022-09-29 11:35  6.2K  
[   ] dolce.hpf                                                              2022-09-29 11:35  184   
[   ] dolce1.hpf                                                             2022-09-29 11:35  158
Apache/2.4.39 (Unix) OpenSSL/1.0.2u Server at pkg.cs.ovgu.de Port 80