author | adam <adam@megacz.com> | |
Sun, 28 Oct 2007 22:16:03 +0000 (22:16 +0000) | ||
committer | adam <adam@megacz.com> | |
Sun, 28 Oct 2007 22:16:03 +0000 (22:16 +0000) | ||
commit | 68eb561f71dd052a346319cd1b92dd077cb1c8bb | |
tree | 18166e80ed56cfb12f6cec28cf34bb202bb3b7fc | tree | snapshot |
parent | f32b158060d2be2811e5ba058756c7dc3fb71672 | commit | diff |
Computation/Termination.v | diff | blob | history |