diff options
| author | Pierre Courtieu | 2013-07-08 10:01:38 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2013-07-08 10:01:38 +0000 |
| commit | 60f4c20ee80f138f287aba7b252c5eb71c2bfd1b (patch) | |
| tree | 272fc6453d90ff7e9be4846eea4994b519c0cce8 /isar/Example.thy | |
| parent | 01e99e72aacce3cd833cd2c484dd86e9b8e9223d (diff) | |
Fixing again bug #466. With a bbetter solution.
Not using "b o f" token anymore.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions