(* Was failing with anomaly List.chop in 8.15 and was running for very long in 9.0 *) (* This tests abbreviations with more projection parameters than allowed *) Class my_class := {
my_class_car : Type;
my_class_field_aux : my_class_car -> nat
}.
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
