diff options
| author | Makarius Wenzel | 2005-05-22 17:15:44 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2005-05-22 17:15:44 +0000 |
| commit | 62116f6ce13c6a670f0ce23b335ab413633d1c63 (patch) | |
| tree | a00885167881fde89b1684eb1a53acb8d622e0d1 /isa/Example.thy | |
| parent | c8a0872fe1ea8cbd0169c96a5794dce5133851c4 (diff) | |
removed find_rwrites, print_intros;
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions