# HG changeset patch
# User kkb
# Date 1426559357 -32400
# Node ID e95bf956f853d3b43fa352dd85a6011c9ac3fdd4
# Parent  d6133c065de4dd86af2cf0bacf99edce6ad2681a
add file

diff -r d6133c065de4 -r e95bf956f853 doc/GearsOS.mm
--- a/doc/GearsOS.mm	Sun Mar 15 19:20:35 2015 +0900
+++ b/doc/GearsOS.mm	Tue Mar 17 11:29:17 2015 +0900
@@ -42,6 +42,12 @@
 </node>
 </node>
 </node>
+<node CREATED="1426409063316" ID="ID_1899250473" MODIFIED="1426409071500" TEXT="1.1 List">
+<node CREATED="1426409095822" ID="ID_1785436904" MODIFIED="1426409103076" TEXT="create"/>
+<node CREATED="1426409073273" ID="ID_1742724689" MODIFIED="1426409080204" TEXT="copy"/>
+<node CREATED="1426409081042" ID="ID_182541638" MODIFIED="1426409083564" TEXT="append"/>
+<node CREATED="1426409105800" ID="ID_1064006824" MODIFIED="1426409109036" TEXT="reverse"/>
+</node>
 <node CREATED="1426154724851" ID="ID_295772151" MODIFIED="1426156325656" TEXT="2. DataBase">
 <node CREATED="1426157645997" ID="ID_262918456" MODIFIED="1426157659805" TEXT="AVL Tree"/>
 <node CREATED="1426157661326" ID="ID_563061658" MODIFIED="1426157665276" TEXT="key">
@@ -165,5 +171,15 @@
 <node CREATED="1426154365632" ID="ID_1185664664" MODIFIED="1426154421092" TEXT="NVIDIA"/>
 <node CREATED="1426154401101" ID="ID_1582370381" MODIFIED="1426154406700" TEXT="Power PC"/>
 </node>
+<node CREATED="1426503430814" ID="ID_755387002" MODIFIED="1426503434221" POSITION="left" TEXT="Theory">
+<node CREATED="1426503434222" ID="ID_1097315101" MODIFIED="1426503438416" TEXT="Monad"/>
+<node CREATED="1426503439614" ID="ID_1402116978" MODIFIED="1426503447930" TEXT="Operational semantics"/>
+<node CREATED="1426503451465" ID="ID_838122665" MODIFIED="1426503457120" TEXT="Model Checking"/>
+<node CREATED="1426503458321" ID="ID_672360813" MODIFIED="1426503462888" TEXT="Proof Syste">
+<node CREATED="1426503510409" ID="ID_61060240" MODIFIED="1426503537584" TEXT="Linear Logic"/>
+<node CREATED="1426503540072" ID="ID_92514386" MODIFIED="1426503546144" TEXT="System F"/>
+</node>
+<node CREATED="1426503465113" ID="ID_1206595312" MODIFIED="1426503469936" TEXT="Dependent type"/>
+</node>
 </node>
 </map>
diff -r d6133c065de4 -r e95bf956f853 src/allocate.c