Index of /private/uni/9. semester/ai/uebungen/praktisch/4/Kris-old/

../
ABox/                                              07-Dec-2023 13:41                   -
ABoxes/                                            07-Dec-2023 13:41                   -
ConcreteDomains/                                   07-Dec-2023 13:41                   -
RBox/                                              07-Dec-2023 13:41                   -
TBox/                                              07-Dec-2023 13:41                   -
TBoxes/                                            07-Dec-2023 13:41                   -
Compile.lsp                                        12-Dec-2023 07:28                1223
Convert.fasl                                       12-Dec-2023 07:28               62424
Convert.lisp                                       12-Dec-2023 07:28               12876
Tacos-System.lisp                                  12-Dec-2023 07:28               22686
def-kris.lisp                                      12-Dec-2023 07:28                2140
inits.fasl                                         12-Dec-2023 07:28               16977
inits.lisp                                         12-Dec-2023 07:28                1239
load-kris.lsp                                      12-Dec-2023 07:28                1874
manual.dvi                                         12-Dec-2023 07:28               92712
solution.txt                                       12-Dec-2023 07:28                 391