diff options
| author | David Aspinall | 2011-05-05 17:42:03 +0000 |
|---|---|---|
| committer | David Aspinall | 2011-05-05 17:42:03 +0000 |
| commit | 0247d92eb0b1c3749d3fb9c04297addde0c6eced (patch) | |
| tree | 5eccdde5f91b041ebab8c0cce777e11d0c72af3f /isar/ex/Sqrt_Script.thy | |
| parent | 10d351c58a974a9cf665b145bd404f912659d83a (diff) | |
Restore scary front page image. Add credits.
Diffstat (limited to 'isar/ex/Sqrt_Script.thy')
0 files changed, 0 insertions, 0 deletions