(DIR) ..                                                                             
 (TXT) Makefile                                           2023-Jan-16 01:23     0.3 KB
 (TXT) acl2-test.sh                                       2023-Jan-16 01:23     0.4 KB
 (TXT) car-game.lisp                                      2023-Jan-16 01:23     3.8 KB
 (TXT) macros.lisp                                        2023-Jan-16 01:23     0.2 KB
 (IMG) tmp.png                                            2023-Jan-16 01:23    31.9 KB