Isar (disambiguation): Difference between revisions
Jump to navigation
Jump to search
imported>Boris Tsirelson (Redirecting to Proof assistant) |
imported>Daniel Mietchen ({{disambig}}) |
||
| Line 1: | Line 1: | ||
{{disambig}} | |||
{{r|Isar (river)}} | |||
{{r|Isar (proof assistant)}} | |||
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