Marked source files taken from Isabelle

wimmers · wimmers · commit 40eace5a5cc3 · 2017-06-19T14:55:18.000+02:00
diff --git a/ML/basics.ML b/ML/basics.ML
@@ -1,3 +1,4 @@
+(* Taken from Isabelle: https://isabelle.in.tum.de *)
 (*  Title:      Pure/General/basics.ML
     Author:     Florian Haftmann and Makarius, TU Muenchen
 
diff --git a/ML/library.ML b/ML/library.ML
@@ -1,3 +1,4 @@
+(* Taken from Isabelle: https://isabelle.in.tum.de *)
 (*  Title:      Pure/library.ML
     Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     Author:     Markus Wenzel, TU Muenchen
diff --git a/ML/scan.ML b/ML/scan.ML
@@ -1,3 +1,4 @@
+(* Taken from Isabelle: https://isabelle.in.tum.de *)
 (*  Title:      Pure/General/scan.ML
     Author:     Markus Wenzel and Tobias Nipkow, TU Muenchen
 

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+(* Taken from Isabelle: https://isabelle.in.tum.de *)`
`1`	`2`	`(* Title: Pure/General/basics.ML`
`2`	`3`	`Author: Florian Haftmann and Makarius, TU Muenchen`
`3`	`4`
Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+(* Taken from Isabelle: https://isabelle.in.tum.de *)`
`1`	`2`	`(* Title: Pure/library.ML`
`2`	`3`	`Author: Lawrence C Paulson, Cambridge University Computer Laboratory`
`3`	`4`	`Author: Markus Wenzel, TU Muenchen`
Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+(* Taken from Isabelle: https://isabelle.in.tum.de *)`
`1`	`2`	`(* Title: Pure/General/scan.ML`
`2`	`3`	`Author: Markus Wenzel and Tobias Nipkow, TU Muenchen`
`3`	`4`