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


../
Kris-Macros.fasl                                   12-Dec-2023 07:28              103056
Kris-Macros.lisp                                   12-Dec-2023 07:28               12750
do-not-compile.fasl                                12-Dec-2023 07:28                3051
do-not-compile.lisp                                12-Dec-2023 07:28                1546
expand-and-simplify.fasl                           12-Dec-2023 07:28               35120
expand-and-simplify.lisp                           12-Dec-2023 07:28               25110
generic.fasl                                       12-Dec-2023 07:28               38944
generic.lisp                                       12-Dec-2023 07:28                9734
input-syntax.fasl                                  12-Dec-2023 07:28               39153
input-syntax.lisp                                  12-Dec-2023 07:28               20074
k-partition.fasl                                   12-Dec-2023 07:28                3978
k-partition.lisp                                   12-Dec-2023 07:28                1119
satisfiability.fasl                                12-Dec-2023 07:28               79710
satisfiability.lisp                                12-Dec-2023 07:28               59821
tbox-classify.fasl                                 12-Dec-2023 07:28               46722
tbox-classify.lisp                                 12-Dec-2023 07:28               30967
tbox-load-and-save.fasl                            12-Dec-2023 07:28               11993
tbox-load-and-save.lisp                            12-Dec-2023 07:28                7871
tbox-objects.fasl                                  12-Dec-2023 07:28              145915
tbox-objects.lisp                                  12-Dec-2023 07:28               22958
tbox-structure.fasl                                12-Dec-2023 07:28               17275
tbox-structure.lisp                                12-Dec-2023 07:28                1426