Ja, F# wird zum offiziellen MS Produkt. Tobias Steven Obua wrote: > http://www.artima.com/forums/flat.jsp?forum=278&thread=217150 > > _______________________________________________ > Isabelle-dev mailing list > Isabelle-dev at mailbroy.informatik.tu-muenchen.de > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev