Isar (disambiguation): Difference between revisions
Jump to navigation
Jump to search
imported>Boris Tsirelson (Redirecting to Proof assistant) |
imported>Daniel Mietchen m (Isar moved to Isar (disambiguation): disambiguation) |
||
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||
{{disambig}} | |||
{{r|Isar (river)}} | |||
{{r|Isar (proof assistant)}} | |||
Latest revision as of 10:02, 12 August 2010
This disambiguation page lists articles associated with the same or a similar title.
- Isar (river) [r]: A river in Central Europe, a tributary to the Danube; flows through Munich. [e]
- Isar (proof assistant) [r]: Add brief definition or description