Isar (disambiguation): Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Boris Tsirelson
(Redirecting to Proof assistant)
 
imported>Daniel Mietchen
({{disambig}})
Line 1: Line 1:
#REDIRECT [[Proof assistant]]
{{disambig}}
 
{{r|Isar (river)}}
{{r|Isar (proof assistant)}}

Revision as of 09:02, 12 August 2010

This disambiguation page lists articles associated with the same or a similar title.