diff options
| author | David Aspinall | 2002-03-21 16:29:30 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-03-21 16:29:30 +0000 |
| commit | f57dab25359030977f173e1d0b3aeb193c9db23e (patch) | |
| tree | 85d13d1f308b90255bb092f85c235be413a707c9 /isa/Example.thy | |
| parent | b6f396f82bb2b66eea7a6cd08cdf6edea76c0088 (diff) | |
FSF -> GNU
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions