| File | Mode | Size |
|---|---|---|
| Climate-Engineering | ||
| Course-Material-1 | ||
| US-Constitution-Loophole | ||
| WiseMenPuzzle | ||
| fonts | ||
| #E.thy# | -rw-r--r-- | 3.9 KB |
| #SDL.thy# | -rw-r--r-- | 3.7 KB |
| CJ_DDL.html | -rw-r--r-- | 28.9 KB |
| CJ_DDL.png | -rw-r--r-- | 457.4 KB |
| CJ_DDL.thy | -rw-r--r-- | 5.3 KB |
| CJ_DDL_Tests.html | -rw-r--r-- | 73.2 KB |
| CJ_DDL_Tests.thy | -rw-r--r-- | 13.8 KB |
| CJ_DDL_Tests1.png | -rw-r--r-- | 331.5 KB |
| CJ_DDL_Tests2.png | -rw-r--r-- | 436.8 KB |
| CJ_DDLplus.html | -rw-r--r-- | 85.8 KB |
| CJ_DDLplus.thy | -rw-r--r-- | 17.2 KB |
| CJ_DDLplus1.png | -rw-r--r-- | 629.9 KB |
| CJ_DDLplus2.png | -rw-r--r-- | 547.2 KB |
| Chisholm_CJ_DDL_Dyadic.html | -rw-r--r-- | 15.5 KB |
| Chisholm_CJ_DDL_Dyadic.png | -rw-r--r-- | 165.0 KB |
| Chisholm_CJ_DDL_Dyadic.thy | -rw-r--r-- | 2.6 KB |
| Chisholm_CJ_DDL_Monadic.html | -rw-r--r-- | 43.7 KB |
| Chisholm_CJ_DDL_Monadic.png | -rw-r--r-- | 453.0 KB |
| Chisholm_CJ_DDL_Monadic.thy | -rw-r--r-- | 7.6 KB |
| Chisholm_E.html | -rw-r--r-- | 43.4 KB |
| Chisholm_E.png | -rw-r--r-- | 433.4 KB |
| Chisholm_E.thy | -rw-r--r-- | 7.5 KB |
| Chisholm_SDL.html | -rw-r--r-- | 38.0 KB |
| Chisholm_SDL.png | -rw-r--r-- | 530.8 KB |
| Chisholm_SDL.thy | -rw-r--r-- | 6.6 KB |
| E.html | -rw-r--r-- | 22.2 KB |
| E.png | -rw-r--r-- | 337.7 KB |
| E.thy | -rw-r--r-- | 3.9 KB |
| Extended_CJ_DDL.html | -rw-r--r-- | 18.2 KB |
| Extended_CJ_DDL.thy | -rw-r--r-- | 4.3 KB |
| GDPR_CJ_DDL.html | -rw-r--r-- | 12.8 KB |
| GDPR_CJ_DDL.png | -rw-r--r-- | 229.4 KB |
| GDPR_CJ_DDL.thy | -rw-r--r-- | 2.5 KB |
| GDPR_E.html | -rw-r--r-- | 10.7 KB |
| GDPR_E.png | -rw-r--r-- | 226.6 KB |
| GDPR_E.thy | -rw-r--r-- | 2.1 KB |
| GDPR_SDL.html | -rw-r--r-- | 13.4 KB |
| GDPR_SDL.png | -rw-r--r-- | 265.0 KB |
| GDPR_SDL.thy | -rw-r--r-- | 2.5 KB |
| GewirthArgument.html | -rw-r--r-- | 43.6 KB |
| GewirthArgument.png | -rw-r--r-- | 354.4 KB |
| GewirthArgument.thy | -rw-r--r-- | 9.3 KB |
| GewirthArgument1.png | -rw-r--r-- | 412.4 KB |
| GewirthArgument2.png | -rw-r--r-- | 428.2 KB |
| IOL_out2.html | -rw-r--r-- | 30.9 KB |
| IOL_out2.png | -rw-r--r-- | 290.5 KB |
| IOL_out2.thy | -rw-r--r-- | 5.4 KB |
| IO_Experiments.html | -rw-r--r-- | 32.9 KB |
| IO_Experiments.png | -rw-r--r-- | 377.9 KB |
| IO_Experiments.thy | -rw-r--r-- | 7.5 KB |
| IO_out2_STIT.html | -rw-r--r-- | 127.6 KB |
| IO_out2_STIT.thy | -rw-r--r-- | 25.5 KB |
| IO_out2_STIT1.png | -rw-r--r-- | 870.7 KB |
| IO_out2_STIT2.png | -rw-r--r-- | 292.3 KB |
| IO_out2_STIT3.png | -rw-r--r-- | 356.3 KB |
| IO_out2_STIT4.png | -rw-r--r-- | 372.5 KB |
| IO_out2_STIT5.png | -rw-r--r-- | 425.0 KB |
| Lewis_DDL.html | -rw-r--r-- | 41.1 KB |
| Lewis_DDL.thy | -rw-r--r-- | 8.2 KB |
| Lewis_DDL1.png | -rw-r--r-- | 360.4 KB |
| Lewis_DDL2.png | -rw-r--r-- | 314.1 KB |
| SDL.html | -rw-r--r-- | 22.4 KB |
| SDL.png | -rw-r--r-- | 310.8 KB |
| SDL.thy | -rw-r--r-- | 3.7 KB |
| index.html | -rw-r--r-- | 1.5 KB |
| isabelle.css | -rw-r--r-- | 5.5 KB |
