diff options
| author | stuebinm | 2021-06-08 16:04:23 +0200 |
|---|---|---|
| committer | stuebinm | 2021-06-08 16:08:07 +0200 |
| commit | 41cc0560362ad402a91e1eb006935865b7c42d97 (patch) | |
| tree | ded65d7758cb2cf60522a3a6b3fcea03ae7a6720 /isabelle-nix-fhsenv/Readme.org | |
| parent | 4cba21106d13aa021b2757a3a550244a884cfccf (diff) | |
turing machine in nix
Diffstat (limited to 'isabelle-nix-fhsenv/Readme.org')
0 files changed, 0 insertions, 0 deletions