อนุญาตให้คัดลอก แจกจ่ายและ/หรือดัดแปรเอกสารนี้ภายใต้เงื่อนไขของสัญญาอนุญาตเอกสารเสรีของกนู รุ่น 1.2 หรือรุ่นใด ๆ นับจากนี้ที่ออกโดยมูลนิธิซอฟต์แวร์เสรี โดยไม่มีส่วนใดห้ามแก้ไข ไม่มีข้อความปกหน้าและปกหลัง สำเนาของสัญญาอนุญาตรวมอยู่ในส่วนชื่อ สัญญาอนุญาตเอกสารเสรีของกนูhttp://www.gnu.org/copyleft/fdl.htmlGFDLGNU Free Documentation Licensetruetrue

	ไฟล์นี้อยู่ภายใต้สัญญาอนุญาต ครีเอทีฟคอมมอนส์ แบบแสดงที่มา-อนุญาตแบบเดียวกัน 3.0 ต้นฉบับ
	คุณสามารถ: ที่จะแบ่งปัน – ที่จะทำสำเนา แจกจ่าย และส่งงานดังกล่าวต่อไป ที่จะเรียบเรียงใหม่ – ที่จะดัดแปลงงานดังกล่าว ภายใต้เงื่อนไขต่อไปนี้: แสดงที่มา – คุณต้องให้เกียรติเจ้าของงานอย่างเหมาะสม โดยเพิ่มลิงก์ไปยังสัญญาอนุญาต และระบุหากมีการเปลี่ยนแปลง คุณอาจทำเช่นนี้ได้ในรูปแบบใดก็ได้ตามควร แต่ต้องไม่ใช่ในลักษณะที่แนะว่าผู้ให้อนุญาตสนับสนุนคุณหรือการใช้งานของคุณ อนุญาตแบบเดียวกัน – หากคุณดัดแปลง เปลี่ยนรูป หรือต่อเติมงานนี้ คุณต้องใช้สัญญาอนุญาตแบบเดียวกันหรือแบบที่เหมือนกับสัญญาอนุญาตที่ใช้กับงานนี้เท่านั้น
	ป้ายแสดงสถานะลิขสิทธิ์นี้ถูกเพิ่มเพื่อให้เป็นไปตามการเปลี่ยนแปลงสัญญาอนุญาตของมูลนิธิวิกิมีเดีย จาก GFDL ไปยัง GFDL ควบคู่กับ CC-BY-SA 3.0http://creativecommons.org/licenses/by-sa/3.0/CC BY-SA 3.0Creative Commons Attribution-Share Alike 3.0truetrue

นำเข้าจาก en.wikipedia มายังคอมมอนส์ โดย Vernanimalcula โดยใช้ CommonsHelper

• 2007-12-28 23:21 Hugo Herbelin 823×613× (85498 bytes) {{Information |Description=Snapshot of the definition of the Coq standard library constant plus_comm displayed in LGPL software CoqIDE |Source=snapshot of LGPL software CoqIDE ran in Gnome |Date=29 Dec 2007 |Location= |Author=Hugo Herbelin |Permission= |o